====== Notes about models ======

  * [[:devel:model:generic|Generic approach to model conversion]]
  * [[:devel:model:circuit|Digital Circuit restrictions and conversion to STG]]