3 Commits

Author	SHA1	Message	Date
Larry Doolittle	99706b3bf4	Squelch a little more trailing whitespace	2018-12-29 12:46:54 +01:00
Clifford Wolf	b24f737759	Improve SVA tests, add Makefile and scripts	2017-07-27 11:42:05 +02:00
Clifford Wolf	024ba310ec	Add some simple SVA test cases for future Verific work	2017-07-22 12:31:08 +02:00