3 months ago6 viewstechnologysoftwareverificationA presentation on open source approaches to functional verification by Tjark Petersen.