Skip to search formSkip to main contentSkip to account menu
Sequential circuit design using synthesis and optimization
TLDR
SIS serves as both a framework within which various algorithms can be tested and compared and as a tool for automatic synthesis and optimization of sequential circuits.
View on IEEE
VIS: A System for Verification and Synthesis
TLDR
VIS provides the capability to check the combinational equivalence of two designs and provides traditional verification in the form of a cycle-based simulator that uses BDD techniques.
View via Publisher
MIS: A Multiple-Level Logic Optimization System
TLDR
An overview of the MIS system and a description of the algorithms used are provided, including some examples illustrating an input language used for specifying logic and don't-cares.
View on IEEE
A framework for comparing models of computation
We give a denotational framework (a "meta model") within which certain properties of models of computation can be compared. It describes concurrent processes in general terms as sets of possible…
View via Publisher
Combinational test generation using satisfiability
TLDR
The algorithm, Test Generation Using Satisfiability (TEGUS), solves a simplified test set characteristic equation using straightforward but powerful greedy heuristics, ordering the variables using depth-first search and selecting a variable from the next unsatisfied clause at each branching point.
View via Publisher
Steady-state methods for simulating analog and microwave circuits
TLDR
This chapter discusses the design and implementation of the APFT Time-Point Selection Algorithm, and some of the methods used to construct the Transform Matrix, which simplifies the selection process.
View via Publisher
Hardware-software co-design of embedded systems: the POLIS approach
TLDR
This paper is intended to give a complete overview of the POLIS system including its formal and algorithmic aspects and will be of interest to embedded system designers (automotive electronics, consumer electronics and telecommunications), micro-controller designers, CAD developers and students.
Metropolis: An Integrated Electronic System Design Environment
TLDR
Based on a metamodel with formal semantics that developers can use to capture designs, Metropolis provides an environment for complex electronic-system design that supports simulation, formal analysis, and synthesis.
View via Publisher
Modeling Cyber–Physical Systems
TLDR
Specific technologies described include hybrid system modeling and simulation, concurrent and heterogeneous models of computation, the use of domain-specific ontologies to enhance modularity, and the joint modeling of functionality and implementation architectures.
View on IEEE
Model predictive control with signal temporal logic specifications
TLDR
This work describes the use of STL to specify a wide range of properties of these systems, including safety, response and bounded liveness, and encode STL specifications as mixed integer-linear constraints on the system variables in the optimization problem at each step of a model predictive control framework.
View on IEEE
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License