共 50 条
- [2] SELF-CHECKING COMBINATIONAL LOGIC BINARY COUNTERS [J]. IEEE TRANSACTIONS ON COMPUTERS, 1972, C 21 (12) : 1426 - 1430
- [4] COMBINATIONAL STATIC CMOS NETWORKS [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 227 : 271 - 282
- [6] Combinational Counters: A Low Overhead Approach to Address DPA Attacks [J]. Journal of Circuits, Systems and Computers, 2020, 29 (06):
- [7] VFQL: Combinational Static Analysis as Query Language [J]. PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19), 2019, : 378 - 381
- [8] Static Timing Model Extraction for Combinational Circuits [J]. INTEGRATED CIRCUIT AND SYSTEMS DESIGN: POWER AND TIMING MODELING, OPTIMIZATION AND SIMULATION, 2009, 5349 : 156 - 166
- [10] Counters in Kappa: Semantics, Simulation, and Static Analysis [J]. PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2019: 28TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2019, 11423 : 176 - 204