Bug 823 - Implementation of the Logical Equivalence Checker (LEQ)
Summary: Implementation of the Logical Equivalence Checker (LEQ)
Status: RESOLVED FIXED
Alias: None
Product: Libre-SOC's second ASIC
Classification: Unclassified
Component: source code (show other bugs)
Version: unspecified
Hardware: PC Linux
: --- enhancement
Assignee: Jean-Paul Chaput
URL:
Depends on:
Blocks:
 
Reported: 2022-04-29 15:52 BST by Jean-Paul Chaput
Modified: 2023-02-12 12:08 GMT (History)
2 users (show)

See Also:
NLnet milestone: NLnet.2021-08-049.coriolis2
total budget (EUR) for completion of task and all subtasks: 9000
budget (EUR) for this task, excluding subtasks' budget: 9000
parent task for budget allocation: 748
child tasks for budget allocation:
The table of payments (in EUR) for this task; TOML format:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Jean-Paul Chaput 2022-04-29 15:52:47 BST 
This task must not be mistaken with the extractor tool (aka Solstice).

Implementation of LEQ, using the algorithm of Equinox as a starting point and enriching it according to the survey of LEQ algorithms.

One of the main goal is to provide *trans-hierarchical* error messages that are sufficiently understandable by the designer (often one of the main weakness of such tools).