Ken Valk

According to our database, Ken Valk authored at least 2 papers between 2000 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Customizing a Large Language Model for VHDL Design of High-Performance Microprocessors.

Nicolas Dupuis, Ravi Nair, Shyam Ramji, Sean McClintock, Nishant Chauhan, Priyanka Nagpal, Bart Blaner, Ken Valk, Leon Stok, Ruchir Puri

CoRR, May, 2025

2000

A methodology for formal design of hardware control with application to cache coherence protocols.

Cindy Eisner, Irit Shitsevalov, Russ Hoover, Wayne G. Nation, Kyle L. Nelson, Ken Valk

Proceedings of the 37th Conference on Design Automation, 2000