http://workcraft.org/ 2026-05-25T08:56:28+00:00 http://workcraft.org/ http://workcraft.org/_media/logo.svg text/html 2024-12-23T13:23:51+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/tutorial/method/hierarchical_design/start?rev=1734960231&do=diff Verification and synthesis of hierarchical designs In this tutorial we revisit the hierarchical buck converter to verify the conformation of its modules and learn how their parallel composition can be used for verification of system-wide properties and (sometimes) for deriving a better circuit implementation.