Word level model checking-avoiding the Pentium FDIV error.

Details

Language :

English

ISBNs :

9780780332942

Database :

Complementary Index

Journal :

33rd Design Automation Conference Proceedings, 1996

Publication Type :

Conference

Accession number :

92365847

Full Text :

https://doi.org/10.1109/DAC.1996.545654