Register Transfer Operation Analysis during Data Path Verification
ASP-DAC '02 Proceedings of the 2002 Asia and South Pacific Design Automation Conference
SBCCI '04 Proceedings of the 17th symposium on Integrated circuits and system design
Formal Verification of the VAMP Floating Point Unit
Formal Methods in System Design
ACM Transactions on Design Automation of Electronic Systems (TODAES)
SAEPTUM: verification of ELAN hardware specifications using the proof assistant PVS
SBCCI '06 Proceedings of the 19th annual symposium on Integrated circuits and systems design
Hi-index | 0.00 |