http://workcraft.org/ 2026-05-30T17:29:36+00:00 http://workcraft.org/ http://workcraft.org/_media/logo.svg text/html 2020-11-26T15:36:23+00:00 Anonymous (anonymous@undisclosed.example.com) http://workcraft.org/tutorial/design/basic_buck/start?rev=1606404983&do=diff Design of basic buck controller Buck converter is a voltage step down and current step up converter. It comprises an analogue buck and its digital control logic as shown in the following diagram. Your task in this tutorial is to formally specify, synthesise and verify the control circuitry of the buck.