"This is the source code accompanying our HVC 2010 paper titled ""vlogsl: A Strategy Language for Simulation-based Verification of Hardware""; it includes the source code for the vlogsl tool, as well as targets for all of the experiments reported in the paper."
Use this login method if you
don't
have an
@illinois.edu
email address.
(Oops, I do have one)
IDEALS migrated to a new platform on June 23, 2022. If you created
your account prior to this date, you will have to reset your password
using the forgot-password link below.
