Bug 822 - Small academic survey of Logical Equivalence Checker (LEQ)
Summary: Small academic survey of Logical Equivalence Checker (LEQ)
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
Depends on:
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:


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.