A new approach to the use of satisfiability in false path detection
- Marques, F.S.
- Ribas, R.P.
- Sapatnekar, S.
- Reis, A.I.
Actes de conférence:
Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI
Année de publication: 2005
Pages: 308-311
Type: Communication dans un congrès