![](/img/cover-not-exists.png)
[IEEE Comput. Soc IEEE International High Level Design Validation and Test Workshop (HLDVT'02) - Cannes, France (27-29 Oct. 2002)] Seventh IEEE International High-Level Design Validation and Test Workshop, 2002. - TRANS: efficient sequential verification of loop-free circuits
Khasidashvili, Z., Moondanos, J., Hanna, Z.Year:
2002
Language:
english
DOI:
10.1109/hldvt.2002.1224439
File:
PDF, 546 KB
english, 2002