A new approach to the use of satisfiability in false path detection
- Marques, F.S.
- Ribas, R.P.
- Sapatnekar, S.
- Reis, A.I.
Konferenzberichte:
Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI
Datum der Publikation: 2005
Seiten: 308-311
Art: Konferenz-Beitrag