共 50 条
- [41] Various techniques, languages being used to verify SOC designs Electronic Systems Technology & Design/Computer Design's, 1999, 38 (01):
- [43] Circuit simulation: Unified simulator IEEE CCEC 2002: CANADIAN CONFERENCE ON ELECTRCIAL AND COMPUTER ENGINEERING, VOLS 1-3, CONFERENCE PROCEEDINGS, 2002, : 547 - 553
- [44] ON THE DESIGN OF A RELIABILITY CIRCUIT SIMULATOR MICROELECTRONICS AND RELIABILITY, 1995, 35 (01): : 101 - 103
- [46] On the design of a reliability circuit simulator Microelectronics Reliability, 1995, 35 (01): : 101 - 103
- [48] Quantum Circuit Simulator (QCS) 2009 INTERNATIONAL CONFERENCE ON ADVANCES IN RECENT TECHNOLOGIES IN COMMUNICATION AND COMPUTING (ARTCOM 2009), 2009, : 68 - 70
- [49] SOLC-VERIFY: A Modular Verifier for Solidity Smart Contracts VERIFIED SOFTWARE: THEORIES, TOOLS, AND EXPERIMENTS, VSTTE 2019, 2020, 12031 : 161 - 179