Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

liberty: dont_use value is ignored #140

Open
bfg86 opened this issue Nov 4, 2021 · 0 comments
Open

liberty: dont_use value is ignored #140

bfg86 opened this issue Nov 4, 2021 · 0 comments

Comments

@bfg86
Copy link

bfg86 commented Nov 4, 2021

Hi,
I reported this in the Yosys repository (3065). The testcase requires Yosys to reproduce, let me know if I should make a testcase for ABC only.

Steps to reproduce the issue

unzip testcase.zip
yosys -s syn.ys

Expected behavior

I added dont_use : "false"; to the NAND gate in cmos_cells.lib.
Expected ABC to not report any dont_use cells, and netlist to contain 1 NAND + 1 NOT.

Actual behavior

In ABC log it says:
ABC: Library "demo" from "/home/test/tmp/cmos_cells.lib" has 3 cells (2 skipped: 2 seq; 0 tri-state; 0 no func; 1 dont_use). Time = 0.00 sec
and the module is implemented with 1 NOR cell and 2 NOT cells.

bfg86 added a commit to bfg86/abc that referenced this issue Feb 2, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant