Login / Signup
Constraining the Synopsys Pin Access Checker Utility for Improved Standard Cells Library Verification Flow.
Yongfu Li
Chin Hui Lee
Wan Chia Ang
Kok Peng Chua
Yoong Seang Jonathan Ong
Chiu Wing Colin Hui
Published in:
CoRR (2018)
Keyphrases
</>
website
formal verification
databases
genetic algorithm
information systems
three dimensional
information access
formal methods
verification method