A new approach to the use of satisfiability in false path detection
- Marques, F.S.
- Ribas, R.P.
- Sapatnekar, S.
- Reis, A.I.
Aktak:
Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI
Argitalpen urtea: 2005
Orrialdeak: 308-311
Mota: Biltzar ekarpena