ASIC Design and Verification in an FPGA Environment.
Dejan MarkovicChen ChangBrian C. RichardsHayden Kwok-Hay SoBorivoje NikolicRobert W. BrodersenPublished in: CICC (2007)
Keyphrases
- single chip
- design methodology
- real time
- hardware architecture
- user interface
- hardware implementation
- circuit design
- neural network
- high speed
- signal processing
- design process
- computer aided
- functional verification
- hardware architectures
- formal verification
- hardware design
- model checking
- dynamic environments
- low cost
- mobile robot
- multi agent
- case study