Verification of digital circuits based on formal semantics of a hardware description language
EURO-DAC '92 Proceedings of the conference on European design automation
An automatically verified generalized multifunction arithmetic pipeline
EURO-DAC '94 Proceedings of the conference on European design automation
IEEE Transactions on Computers
Hi-index | 0.00 |