GitHub

combinational_proof_tutorial.v

Unlike in ``combinational_proof_tutorial.v``, we are not concerned here with properties related to timing, and for maximum simplicity we consider a single-cycle, non-combinational proof design. We ...
GitHub

A collection of Python functions for creating MILP (Mixed Integer Linear Programming) problems the solution of which correspond to optimal combinational logic circuit designs.

Combinational logic circuits or switching circuits are idealized electrical circuits that model Boolean functions, that is, functions of the form $f:\{0,1\}^n\to\{0,1 ...
IEEE

A comparative study of encodings to design combinational logic circuits using particle swarm optimization

Abstract: This paper extends our original proposal to use particle swarm optimization (PSO) to design combinational logic circuits (Coello Coello et al., 2003) in which a binary representation was ...
IEEE

Simulation-Based Maximum Coverage Hazard Detection and Elimination Analysis, Supporting Combinational Logic Loops

Abstract: We demonstrate an iterative simulation-based maximum coverage detection and elimination analysis of logic-hazards for combinational logic loops. Although the focus is on asynchronous ...