FSM compatible set computation with BDDs

FSM compatible set computation with BDDs

碩士 === 國立臺灣大學 === 電機工程研究所 === 80 ===

Bibliographic Details
Main Authors:	LIN, JIN-CAI, 林進財
Other Authors:	LIN, CHENG-XIANG
Format:	Others
Language:	zh-TW
Published:	1992
Online Access:	http://ndltd.ncl.edu.tw/handle/02444403146068407566

Similar Items

EXTENDING EXISTENTIAL QUANTIFICATION IN CONJUNCTIONS OF BDDs
by: WEAVER, SEAN A.
Published: (2004)

Communication Based Logic Partitioning Using Multi-Terminal-Node BDDs
by: Hsu, Wen Shi, et al.
Published: (1993)

Design a MIPS ISA Processor with Compatible Interrupt Mode by using FSM-Based Methodology
by: Chien-Pang Lai, et al.
Published: (2007)

Computation of prime cubes of a complex boolean function based on BDDs - continuation on probability of time unfolded prime cubes
by: Vestli, Snorre Nilssen
Published: (2013)

FSM Error Messages
by: Marco T. Morazán, et al.
Published: (2019-06-01)

An FSM Decomposition Structure for Peak Power Minimization
by: Jia-Zong Lin, et al.
Published: (2007)

Matching based FSM encoding
by: WANG,WEN-XIN, et al.
Published: (1990)

IMPLEMENTING COMBINED FSM WITH CPLDS
by: Barkalov A., et al.
Published: (2018-02-01)

On the Difficulty of FSM-based Hardware Obfuscation
by: Marc Fyrbiak, et al.
Published: (2018-08-01)

Hardwired FSM Design for Wireless Communication
by: Pi-Min Hsu, et al.
Published: (2001)

Financial planning working capital ventures using software «analyzer bdds» sold on the basis of selection of optimal bond portfolio
by: N.J. Timofeeva, et al.
Published: (2011-05-01)

The Development and Application of FSM-GOMS Framework for Human-Computer Interaction Design and Evaluation
by: Ying-Lien Lee, et al.
Published: (2007)

FSM Model of a Simple Photovoltaic System
by: Martina Latkova, et al.
Published: (2015-01-01)

Passive fault detection for FSM and EFSM models
by: Xu, Zhi
Published: (2013)

FSM State Assignment for Security and Power Optimization
by: Agrawal, Richa
Published: (2018)

Experimental Evaluation of FSM-Based Testing Cost for Time-Delay Systems
by: Zheng Wei, et al.
Published: (2014-01-01)

Technology Mapping of FSM Oriented to LUT-Based FPGA
by: Marcin Kubica, et al.
Published: (2020-06-01)

FSM: espacio para la construción de feminismos
by: Magdalena Léon T.
Published: (2003-01-01)

A factorial snowpack model (FSM 1.0)
by: R. Essery
Published: (2015-12-01)

Using FSM-based Method to Generate Communication Protocol Software
by: Su, Kuo Hua, et al.
Published: (1994)

Effective FSM Initialization Using Structural and State Based Reset
by: Chung-Min Li, et al.
Published: (2007)

The effect of partiality and adaptivity on the complexity of FSM state identification problems
by: H. Yenigun, et al.
Published: (2018-10-01)

RTL Design Debugging Techniques for FSM-based Error Models
by: Ling-Ya Ni, et al.
Published: (2013)

The Implementation of an Access Control System Using the FSM & Biological Feature Recognization
by: Chung-kang Lo, et al.
Published: (2016)

On the possibilities of FSM description of Parallel composition of Timed Finite State Machines
by: A. S. Tvardovskii, et al.
Published: (2018-10-01)

RiboFSM: Frequent Subgraph Mining for the Discovery of RNA Structures and Interactions
by: Gawronski, Alexander
Published: (2013)

Automatic Web Service Selection for FSM-based composite Web Services
by: Chih-chieh Chan, et al.
Published: (2006)

RiboFSM: Frequent Subgraph Mining for the Discovery of RNA Structures and Interactions
by: Gawronski, Alexander
Published: (2013)

Revision of Aloiampelos Klopper & Gideon F.Sm. (xanthorrhoeaceae subfam. asphodeloideae)
by: Ellis, Kristen
Published: (2013)

Fast and Accurate Contention Analysis Using an FSM - based TLM Bus Modeling Approach
by: Li, Mao-Lin, et al.
Published: (2011)

Design and pilot run of fuzzy synthetic model (FSM) for risk evaluation in civil engineering
by: Hamzah Abdul-Rahman, et al.
Published: (2013-04-01)

Cognition map of key influence factor of ship registration -Application of DEMATEL and FSM
by: Hui Ju Chung, et al.
Published: (2009)

Design of the special function unit of the NSC98's control unit using FSM
by: Houng, Zhi-Hao, et al.
Published: (1999)

Prototype Development for the GMT FSM Secondary - Off-axis Aspheric Mirror Fabrication -
by: Young-Soo Kim, et al.
Published: (2014-12-01)

Multi-UAVs Formation Autonomous Control Method Based on RQPSO-FSM-DMPC
by: Shao-lei Zhou, et al.
Published: (2016-01-01)

Verifying Finite State Machine Behavior using QuickCheck EQC_fsm
by: Lindgren, Ida, et al.
Published: (2010)

An approximation algorithm for obtaining UIO sequences from the FSM model of a protocol
by: Hwai-En Wang, et al.
Published: (1993)

Assessment of Vegetables Producer’s Training Needs in Pohnpei, Federate States of Micronesia (FSM)
by: Kadalino Lorens, et al.
Published: (2006)

Structural Decomposition in FSM Design: Roots, Evolution, Current State—A Review
by: Alexander Barkalov, et al.
Published: (2021-05-01)

A Multimedia E-mail System and A Multimedia Presentation System FSM Model
by: Chung-Ming Lo, et al.
Published: (1994)

Cannot write session to /tmp/vufind_sessions/sess_q256m0v2tp2mdja7fugf1hjdh9