* [[tutorial:design:c_element:start|Design of C-element]] (basic, detailed instructions)
  * [[tutorial:design:basic_buck:start|Design of basic buck controller]] (medium, some hints)
  * [[tutorial:design:vme_bus:start|Design of VME bus controller]] (medium, individual)
  * [[tutorial:method:handshake_verification:start|Handshakes verification]]
  * [[tutorial:design:hierarchical_buck:start|Hierarchical design of a realistic buck controller]]
  * [[tutorial:method:initialisation:start|Initialisation of speed-independent circuits]]
  * [[tutorial:method:loop_breaking:start|Loop breaking and offline testing]]
  * [[tutorial:method:csc_resolution:start|Resolution of encoding (CSC) conflicts]]
  * [[tutorial:method:technology_mapping:start|Logic decomposition and technology mapping]]
  * [[tutorial:method:hierarchical_design:start|Verification and synthesis of hierarchical designs]]