3 Commits

Author	SHA1	Message	Date
Aram Kostanyan	2b008177e7	Updated documentation.	2022-01-17 14:58:20 +05:00
Aram Kostanyan	a355977420	Adding Yosys+Verific support.	2021-10-29 18:34:27 +05:00
tangxifan	c27d77a418	clean-up documentation for a shallow hierarchy	2020-06-11 19:31:08 -06:00