Hardware Design Verification Using Signal Transitions and Transactions.
Nobuyuki OhbaKohji TakanoPublished in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2006)
Keyphrases
- hardware design
- hardware implementation
- signal processing
- fpga hardware
- database
- model checking
- frequency domain
- field programmable gate array
- concurrency control
- high frequency
- signal detection
- compressive sensing
- signature verification
- hardware software
- smart card
- transaction processing
- non stationary
- hardware description language