Simulation of hybrid circuits in constraint logic programming
From MaRDI portal
Publication:805302
DOI10.1016/0898-1221(90)90111-VzbMATH Open0728.68144MaRDI QIDQ805302FDOQ805302
Authors: C. Pradelles-Lasserre, L. Zimmer, Thomas Graf, Pascal Van Hentenryck 
Publication date: 1990
Published in: Computers & Mathematics with Applications (Search for Journal in Brave)
Recommendations
- Publication:3489527
- A Logic Programming Framework for Combinational Circuit Synthesis
- Simulating circuit-level simplifications on CNF
- Synthesizing Switching Logic Using Constraint Solving
- Simulation and synthesis of deduction calculi
- scientific article; zbMATH DE number 744077
- On an approach to logical simulation bidirectional circuits
Computing methodologies and applications (68U99) Computer science aspects of computer-aided design (68U07)
Cites Work
- Solving a cutting-stock problem with the constraint logic programming language CHIP
- Consistency in networks of relations
- Simulation of hybrid circuits in constraint logic programming
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
- Constraint propagation with interval labels
- CLP\(({\mathfrak R})\) and some electrical engineering problems
Cited In (10)
- Asynchronous simulation of CMOS structures at switch level by logical programming
- A special ordered set approach for optimizing a discontinuous separable piecewise linear function
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Logic Programming Framework for Combinational Circuit Synthesis
- An effective logarithmic formulation for piecewise linearization requiring no inequality constraint
- The piecewise linear optimization polytope: new inequalities and intersection with semi-continuous constraints
- Constraint satisfaction using constraint logic programming
- Running programs backwards: The logical inversion of imperative computation
- Simulation of hybrid circuits in constraint logic programming
Uses Software
This page was built for publication: Simulation of hybrid circuits in constraint logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q805302)
