Then it is bound to other resources such as a processor interface. Many designs with a single block have been produced and tested. The Smalltalk-80 environment support Berkekey BLIF and Xilinx XNF formats. A lot of browsers have been produced to ease specification or intermediate level object inspections. Combinatorial or sequential designed are produced in the same way.
Sequential circuits take their vector state from external remote variables.
We plan to use software and hardware to implement fucnctions similar to ArMen ones.