5 months ago8 viewstechnologysoftwareverificationA presentation on open source approaches to functional verification by Tjark Petersen.