Parallel program design: a foundation
Parallel program design: a foundation
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
The Definition of Standard ML
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
Computer
The Challenges of Synthesizing Hardware from C-Like Languages
IEEE Design & Test
Verification Methodology Manual for SystemVerilog
Verification Methodology Manual for SystemVerilog
High-Level Synthesis: from Algorithm to Digital Circuit
High-Level Synthesis: from Algorithm to Digital Circuit
Photoshop scalability: keeping it simple
Communications of the ACM
Data races are evil with no exceptions: technical perspective
Communications of the ACM
The Future of Architectural Simulation
IEEE Micro
Communications of the ACM
Synchronous digital circuits as functional programs
ACM Computing Surveys (CSUR)
| Hi-index | 48.22 |
Applying lessons from software languages to hardware languages using Bluespec SystemVerilog.