共 50 条
[21]
Demo: A Design Studio for Verification Tools
[J].
PROCEEDINGS OF THE WORKSHOP ON DESIGN AUTOMATION FOR CPS AND IOT (DESTION '19),
2019,
:60-61
[22]
MEMS systems design and verification tools
[J].
SMART STRUCTURES AND MATERIALS 1998: SMART ELECTRONICS AND MEMS,
1998, 3328
:40-48
[23]
Circuit Design Tools for Exploratory Understanding
[J].
ADJUNCT PUBLICATION OF THE 32ND ANNUAL ACM SYMPOSIUM ON USER INTERFACE SOFTWARE AND TECHNOLOGY (UIST'19 ADJUNCT),
2019,
:150-153
[25]
FPGA-Based In-Circuit Verification of Digital Systems
[J].
SPORTS MATERIALS, MODELLING AND SIMULATION,
2011, 187
:362-+
[26]
In-circuit temporal monitors for runtime verification of reconfigurable designs
[J].
2015 52ND ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC),
2015,
[28]
Design methodologies and tools for circuit design in CMOS nanometer technologies
[J].
ESSCIRC 2006: PROCEEDINGS OF THE 32ND EUROPEAN SOLID-STATE CIRCUITS CONFERENCE,
2006,
:21-32
[29]
Design methodologies and tools for circuit design in CMOS nanometer technologies
[J].
ESSDERC 2006: PROCEEDINGS OF THE 36TH EUROPEAN SOLID-STATE DEVICE RESEARCH CONFERENCE,
2006,
:21-+