Basic Concepts of Hardware Verification Using ORA Larch/VHDL.
Ahmed E. BarbourMike P. NassifPublished in: PDPTA (1997)
Keyphrases
- hardware implementation
- hardware description language
- hardware design
- circuit design
- hardware designs
- field programmable gate array
- low cost
- hardware and software
- integrated circuit
- model checking
- hardware architecture
- fpga implementation
- real time
- formal verification
- concept learning
- signature verification
- data sets
- image processing
- learning algorithm
- personal computer
- computer systems
- signal processing
- expert systems
- case study
- knowledge base
- genetic algorithm