共 50 条
- [1] Model-based mask verification on critical 45nm logic masks [J]. PHOTOMASK AND NEXT-GENERATION LITHOGRAPHY MASK TECHNOLOGY XV, PTS 1 AND 2, 2008, 7028
- [3] Model-based Virtual VSB Mask Writer Verification for Efficient Mask Error Checking and Optimization Prior to MDP [J]. PHOTOMASK TECHNOLOGY 2014, 2014, 9235
- [4] Model-Based Functional Verification [J]. PROCEEDINGS OF THE 47TH DESIGN AUTOMATION CONFERENCE, 2010, : 421 - 424
- [5] Model-Based Continuous Verification [J]. 2016 23RD ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2016), 2016, : 81 - 88
- [6] Effective Model-Based Mask Fracturing for Mask Cost Reduction [J]. 2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2015,
- [7] Model-Based Verification of Safety Contracts [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2014, 2015, 8938 : 101 - 115
- [8] A model-based signature verification system [J]. 2007 FIRST IEEE INTERNATIONAL CONFERENCE ON BIOMETRICS: THEORY, APPLICATIONS AND SYSTEMS, 2007, : 330 - +