Yunjian Jiang

MVSIS 2 . 0 User ’ s Manual

R. Brayton, A. Mishchenko, D. Chai, 2003 .

Minimization of Multiple-Valued Functions in Post Algebra

R. Brayton, E. Dubrova, Yunjian Jiang, 2002 .

MVSIS v 1 . 1 Manual

R. Brayton, A. Mishchenko, T. Villa, 2022 .

Don't Caxe Wires in Logical/Physical Design

R. Brayton, S. Khatri, Yunjian Jiang, 2017 .

Don't cares in logic minimization of extended finite state machines

R. Brayton, Yunjian Jiang, 2003, Proceedings of the ASP-DAC Asia and South Pacific Design Automation Conference, 2003..

Generalized cofactoring for logic function evaluation

R. Brayton, S. Matic, Yunjian Jiang, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

Software synthesis from synchronous specifications using logic simulation techniques

R. Brayton, Yunjian Jiang, R.K. Brayton, 2002, Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324).

Don't Care Computation in Minimizing Extended Finite State Machines with Presburger Arithmetic

Robert K. Brayton, Yunjian Jiang, R. Brayton, 2002, IWLS.

Logic optimization and code generation for embedded control applications

R. Brayton, Yunjian Jiang, R.K. Brayton, 2001, Ninth International Symposium on Hardware/Software Codesign. CODES 2001 (IEEE Cat. No.01TH8571).

HW/SW partitioning and code generation of embedded control applications on a reconfigurable architecture platform

Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli, Massimo Baleani, 2002, Proceedings of the Tenth International Symposium on Hardware/Software Codesign. CODES 2002 (IEEE Cat. No.02TH8627).