Publications - Conference Papers
The following are downloadable as pdf files:
Stefen Boyd & Sergio Ramirez, "An RTL Designers Guide to the HLS Universe", Proceedings of the Design Automation Conference, June, 2012.
Stefen Boyd, "Ethernet over SONET (EoS) Device Verification, Leveraging SUPERLOG", Proceedings of the International HDL Conference and Exhibit, March, 2001.
Stefen Boyd, "Using Vera to Test a DMA Engine", Proceedings of the Synopsys Users Group, March, 2001.