... computation and parametric representation is ideally suited to equivalence checking. 8. REFERENCES [1] M. Aagaard, RB Jones, and C.-SH Seger. Formal verification using parametric representations of boolean constraints. In Proceedings of the Design... Generating Hardware Assertion Checkers: For Hardware Verification, Emulation ... - 266. lappuse autors: Marc Boulé, Zeljko Zilic - 2008 - 280 lapas Ierobežota priekšskatīšana -
|