Searching for "Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking
- …Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking Yirng…
- Cited by 22 (7 self) – Add To MetaCart
-
Yirng-An Chen
- …, “Verification of all circuits in a floating-point unit using word-level model checking,” In Proceedings…
- Add To MetaCart
Showing 1 through 2.
