共 50 条
- [31] High-Level Simulation for Spiking Neuromorphic Computing Systems [J]. 2018 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2018,
- [32] High-Level Simulation of a PID Controller Based on Memristor [J]. 2016 14TH IEEE INTERNATIONAL NEW CIRCUITS AND SYSTEMS CONFERENCE (NEWCAS), 2016,
- [33] SIMULATION-BASED VERIFICATION FOR HIGH-LEVEL SYNTHESIS [J]. IEEE DESIGN & TEST OF COMPUTERS, 1991, 8 (01): : 14 - 20
- [34] Formal verification of high-level conformance with symbolic simulation [J]. HLDVT'05: TENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2005, : 153 - 159
- [36] High-level simulation model of tourism industry dynamics [J]. BIZNES INFORMATIKA-BUSINESS INFORMATICS, 2022, 16 (03): : 53 - 67
- [37] High-level symbolic simulation for automatic model extraction [J]. PROCEEDINGS OF THE 2009 IEEE SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS AND SYSTEMS, 2009, : 218 - 221
- [38] Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models [J]. 27TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, ASP-DAC 2022, 2022, : 154 - 159
- [39] Graphical simulation and high-level control of humanoid robots [J]. 2000 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2000), VOLS 1-3, PROCEEDINGS, 2000, : 1943 - 1948