Browse Dept. of Computer Science by Subject "Formal Methods"
Now showing items 6-8 of 8
(2010)This is the source code accompanying our HVC 2010 paper titled "vlogsl: A Strategy Language for Simulation-based Veriﬁcation of Hardware"; it includes the source code for the vlogsl tool, as well as targets for all of the ...
(2004-08)This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast protocol components. Because of the ...
(2009-06-03)The development of modern ICs requires a huge investment in RTL verification. This is a reflection of brisk release schedules and the complexity of contemporary chip designs. A major bottleneck to reaching verification ...