Bug 822 - Small academic survey of Logical Equivalence Checker (LEQ)
Summary: Small academic survey of 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:42 BST by Jean-Paul Chaput
Modified: 2023-02-12 12:07 GMT (History)
2 users (show)

See Also:
NLnet milestone: NLnet.2021-08-049.coriolis2
total budget (EUR) for completion of task and all subtasks: 3000
budget (EUR) for this task, excluding subtasks' budget: 3000
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:42:32 BST 
Prior to the re-implementation of Equinox, make a quick state of the art to ensure that we are not missing important features and algorithms.