Article thumbnail
Location of Repository

MVSIS 2.0 Programmer’s Manual

By Donald Chai, Jie-hong Jiang, Yunjian Jiang, Yinghua Li, Alan Mishchenko and Robert Brayton


MVSIS is a logic synthesis system, which enhances traditional binary logic synthesis with capabilities related to multi-value logic. This manual introduces the programming environment of MVSIS 2.0 and compares it with those of SIS 1.3 and VIS 1.4. The new data structures are described and the motivation behind them is explained. The goal is to help the reader with the general understanding of logic synthesis and the working knowledge of C programming get started writing his or her own application code, which manipulates binary or MV networks in MVSIS.

Year: 2008
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • http://embedded.eecs.berkeley.... (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.