Browsing by Author Wentzlaff, David
Showing results 1 to 2 of 2
| Publication Date | Article Title | Author(s) |
|---|---|---|
| Dec-2021 | AutoSVA: Democratizing Formal Verification of RTL Module Interactions | Orenes-Vera, Marcelo; Manocha, Aninda; Wentzlaff, David; Martonosi, Margaret |
| 2020 | Enabling Programmable Transport Protocols in High-Speed NICs | Arashloo, Mina T; Lavrov, Alexey; Ghobadi, Manya; Rexford, Jennifer; Walker, David; et al |