Marco Schmidt's scientific contributions

Publications (4)

Article
this paper a methodology for automatic area minimizing resynthesis of synchronous, digital circuitry was introduced. The circuit is entirely treated as a finite-state machine. The entire procedure works on a symbolic transition system which is represented as a set of BDDs.The redesign task is mainly understood as a re-encoding problem of the switch...
Article
In this paper the influence of state encoding on the area consumption of a design is examined. A method for the resynthesis of designs by re-encoding the internal states of the circuit is presented. The FSM does not need to be specified in a state table format. The whole procedure is carried out implicitly on the circuit using BDDs, i.e., without e...
Article
: In this paper the influence of state encoding on the area consumption of a design is examined. A method for the resynthesis of designs by re-encoding the internal states of the circuit is presented. The FSM does not need to be specified in a state table format. The whole procedure is carried out implicitly on the circuit using BDDs, i.e., without...
Article
: In this paper the influence of state encoding on the area consumption of a design is examined. A method for the resynthesis of designs by re-encoding the internal states of the circuit is presented. The FSM does not need to be specified in a state table format. The whole procedure is carried out implicitly on the circuit using BDDs, i.e., without...