Transforming boolean relations by symbolic encoding

Full text not available from this repository. Send a request to the author for a copy of the paper
Item Type: Proceeding
MIUR type: Proceedings > Proceedings
Title: Transforming boolean relations by symbolic encoding
Authors string: Cabodi G; Camurati P.; S. Quer
University authors:
Page Range: pp. 161-170
Referee type: Not specified type
Publisher: Springer
ISBN: 3540603859
ISSN: 0302-9743
Volume: 987
Event Title: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95
Event Location: Frankfurt/Main (DEU)
Event Dates: October 2–4, 1995
Abstract: Transforming Boolean relations and functions is an important horizontal technique that finds several applications in logic synthesis and formal verification. This paper develops a framework for analyzing input/output transformations of Boolean relations and functions. It also contributes efficient composition techniques based on partitioning the transformation. Experimental results on equivalence-preserving FSM state-space re-encoding demonstrate the feasibility of the approach
Date: 1995
Status: Published
Language of publication: English
Uncontrolled Keywords:
Departments (original): UNSPECIFIED
Departments: DAUIN - Department of Control and Computer Engineering
Related URLs:
    Date Deposited: 02 Oct 2008 11:29
    Last modification data (IRIS): 15 Oct 2013 11:19:18
    Update date (PORTO): 27 Oct 2014 12:35
    Id Number (DOI): 10.1007/3-540-60385-9_10
    Link resolver URL: Linksolver link

    This field presents the citations number present on Scopus and Web of Science databases e links to the remote records. Also Google Scholar link is present.

    There may be discrepancies with respect to the data in databases for the following reasons:

    • Differences from fields (title, year,...) in UGOV and those in the databases.
    • PORTO citations are extracted monthly. The db is in real time
    • The WoS citation number reflect the collections subscribed by Politecnico (Science citation index Expanded and Conference Proceedings Citation Index)

    For informations contact scrivia/porto


    Actions (login required)

    View item (admin reserved) View item (admin reserved)