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
FPGA programming for the masses
Communications of the ACM
FPGA Programming for the Masses
Queue - Mobile Web Development
| Hi-index | 0.02 |
Applying lessons from software languages to hardware languages using Bluespec SystemVerilog