A new approach to the use of satisfiability in false path detection
- Marques, F.S.
- Ribas, R.P.
- Sapatnekar, S.
- Reis, A.I.
Actas:
Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI
Ano de publicación: 2005
Páxinas: 308-311
Tipo: Achega congreso