From 3c1323f0ef1097c0bf060e7d64d3420530433b8e Mon Sep 17 00:00:00 2001 From: Alexander Nutz Date: Tue, 26 Aug 2025 18:08:35 +0200 Subject: [PATCH] c --- README.md | 31 ++++++++++++++++++++++++++++++- src/lib.rs | 2 +- 2 files changed, 31 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 932eee3..6daee65 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,36 @@ low-memory-usage BLIF (berkeley logic interchange format) parser. -supports: +| | this | SIS | yosys | abc | [pip blifparser] | [lorina] | [crates.io blif-parser] | +| ------------------------------------------- | ---- | --- | ----- | --- | ---------------- | -------- | ----------------------- | +| top module, latches, LUTs | x | x | x | x | x | x | x | +| different latch types | x | x | x | x | - | x | x | +| usage of library gates | x | x | x | x | - | - | x | +| empty lines, padding, and comments | x | x | ? | ? | - | x | x | +| quirk 1: allow omit `.end` and `.module` | x | x | ? | ? | ? | ? | ? | +| quirk 2: `\` to continue on next line | x | x | x | ? | - | - | x | +| multiple models per file & sub-circuits | x | x | x | ? | - | - | x | +| model attr: `.clock` | x | x | x | ? | - | - | - | +| sub-file references | x | x | ? | ? | x | - | - | +| finite state machines (`.start_kiss`) | x | x | - | - | x | - | - | +| clock constraints (mostly for simulation) | WIP | x | - | ? | - | - | +| delay constraints | WIP | x | - | ? | - | - | +| full BLIF specification [^1] | x | x | - | - | - | - | +| ------------------------------------------- | ---- | --- | ----- | --- | ---------------- | -------- | +| abc extension: "Black- & White-boxes" [^2] | WIP | - | - | x | - | - | +| extension: `.blackbox` | WIP | - | x | ? | - | - | +| yosys extension: `.cname`: cell name attr | x | - | x | ? | - | - | +| yosys extension: `.attr` and `.param` | x | - | x | ? | - | - | +| extension: `.barbuff` / `.conn` | x | - | x | ? | - | - | + + + +[^1]: https://people.eecs.berkeley.edu/~alanmi/publications/other/blif.pdf +[^2]: https://people.eecs.berkeley.edu/~alanmi/publications/other/boxes01.pdf +[pip blifparser]: https://github.com/mario33881/blifparser +[lorina]: https://github.com/hriener/lorina +[crates.io blif-parser]: https://github.com/ucb-bar/blif-parser/ + - the latest BLIF specification (dated July 28, 1992) - all yosys BLIF extensions (supports reading of BLIF files generated with `write_blif -iname -iattr -param -cname -blackbox -attr -conn`) diff --git a/src/lib.rs b/src/lib.rs index 19151d8..58067fb 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -833,7 +833,7 @@ fn parse_mod( }); } - ".conn" => { + ".barbuff" | ".conn" => { let from = args.next().ok_or(BlifParserError::MissingArgs)?.into(); let to = args.next().ok_or(BlifParserError::MissingArgs)?.into();