A new approach to the use of satisfiability in false path detection
- Marques, F.S.
- Ribas, R.P.
- Sapatnekar, S.
- Reis, A.I.
Proceedings:
Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI
Year of publication: 2005
Pages: 308-311
Type: Conference paper