Some Recent Publications
*Multi-Valued Logic Optimization on Post Logic Networks submitted to ICCAD 2002
w
*Don’t Care Computations in Minimizing Extended Finite State Machines with Presburger Arithmetic IWLS 2002
w
*Software Synthesis from Synchronous Specifications Using Logic Simulation Techniques DAC 2002
*Simplification of Non-Deterministic Multi-Valued Networks IWLS 2002
w
*A Boolean Paradigm in Multi-Valued Logic Synthesis IWLS 2002