| | How to Draw Block Diagrams (2019) (johnwickerson.wordpress.com) |
|
2 points by 082349872349872 3 months ago | past
|
|
| | The Hoare Cube (johnwickerson.wordpress.com) |
|
86 points by matt_d 3 months ago | past | 23 comments
|
|
| | Automated feature testing of Verilog parsers using fuzzing (johnwickerson.wordpress.com) |
|
15 points by matt_d 6 months ago | past | 2 comments
|
|
| | Mix-testing: revealing a new class of compiler bugs (johnwickerson.wordpress.com) |
|
3 points by azhenley 8 months ago | past
|
|
| | Verified high-level synthesis – now with hyperblocks (johnwickerson.wordpress.com) |
|
1 point by matt_d on March 2, 2024 | past
|
|
| | CXL: What’s All the Fuss About? (johnwickerson.wordpress.com) |
|
4 points by matt_d on Aug 24, 2023 | past | 2 comments
|
|
| | C4: The C Compiler Concurrency Checker (johnwickerson.wordpress.com) |
|
1 point by azhenley on July 1, 2021 | past
|
|
| | C4: The C Compiler Concurrency Checker (johnwickerson.wordpress.com) |
|
2 points by matt_d on June 9, 2021 | past
|
|
| | Fuzzing High-Level Synthesis Tools (johnwickerson.wordpress.com) |
|
3 points by matt_d on May 7, 2021 | past
|
|
| | Diagrams for Composing Compilers (johnwickerson.wordpress.com) |
|
4 points by matt_d on May 21, 2020 | past
|
|
| | Highlights from FPGA 2020 (johnwickerson.wordpress.com) |
|
93 points by matt_d on Feb 27, 2020 | past | 21 comments
|
|
| | Loop invariants – where should we put them? (johnwickerson.wordpress.com) |
|
1 point by matt_d on Oct 4, 2019 | past
|
|
| | Modulo scheduling with rational initiation intervals (johnwickerson.wordpress.com) |
|
1 point by matt_d on Sept 5, 2019 | past
|
|
| | How to Draw Block Diagrams (johnwickerson.wordpress.com) |
|
1 point by matt_d on Aug 8, 2019 | past
|
|
| | Memory Consistency Models, and how to compare them automatically (johnwickerson.wordpress.com) |
|
1 point by signa11 on Nov 16, 2016 | past
|
|
| | Memory Consistency Models, and how to compare them automatically (johnwickerson.wordpress.com) |
|
3 points by ingve on Nov 11, 2016 | past
|
|
