Primitive E module for a kind of bufif1 gate.
We use this to implement vl2014::*vl-1-bit-bufif1*.
Definition: *esim-bufif1*
(defconst *esim-bufif1* '(:n *esim-bufif1* :x (:out ((|out| tristate |ctrl| |data|))) :i ((|data|) (|ctrl|)) :o ((|out|))))
