⊟
247 KB
/srv/reproducible-results/rbuild-debian/r-b-build.WFcrqGgv/b1/yosys_0.52-1_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.WFcrqGgv/b2/yosys_0.52-1_amd64.changes
⊟
730 B
Files
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 ·38803a40cb55ab0e99650f9f3aa6e269·29617064·debug·optional·yosys-abc-dbgsym_0.52-1_amd64.deb1 ·38803a40cb55ab0e99650f9f3aa6e269·29617064·debug·optional·yosys-abc-dbgsym_0.52-1_amd64.deb
2 ·0684a2ed91f532b99fdb1ca10a9b8b0f·4944248·electronics·optional·yosys-abc_0.52-1_amd64.deb2 ·0684a2ed91f532b99fdb1ca10a9b8b0f·4944248·electronics·optional·yosys-abc_0.52-1_amd64.deb
3 ·ff05a813417993b52f6a3dc03fca2cca·93184376·debug·optional·yosys-dbgsym_0.52-1_amd64.deb3 ·ff05a813417993b52f6a3dc03fca2cca·93184376·debug·optional·yosys-dbgsym_0.52-1_amd64.deb
4 ·1d2ce78e136e1486e2ad02609b1313d1·136168·electronics·optional·yosys-dev_0.52-1_amd64.deb 
5 ·984224325687d5978f6a4dbd7959dff7·2915716·doc·optional·yosys-doc_0.52-1_all.deb4 ·b01db675ace3541a8181791f94f93f59·136260·electronics·optional·yosys-dev_0.52-1_amd64.deb
 5 ·e4a12e705266da4b0dcca41f06bc250c·2916700·doc·optional·yosys-doc_0.52-1_all.deb
6 ·2c59fe3a878542b760fe28277fd35422·6225600·electronics·optional·yosys_0.52-1_amd64.deb6 ·2c59fe3a878542b760fe28277fd35422·6225600·electronics·optional·yosys_0.52-1_amd64.deb
⊟
4.5 KB
yosys-dev_0.52-1_amd64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2025-04-11·08:41:09.000000·debian-binary1 -rw-r--r--···0········0········0········4·2025-04-11·08:41:09.000000·debian-binary
2 -rw-r--r--···0········0········0·····2304·2025-04-11·08:41:09.000000·control.tar.xz2 -rw-r--r--···0········0········0·····2304·2025-04-11·08:41:09.000000·control.tar.xz
3 -rw-r--r--···0········0········0···133672·2025-04-11·08:41:09.000000·data.tar.xz3 -rw-r--r--···0········0········0···133764·2025-04-11·08:41:09.000000·data.tar.xz
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
3.99 KB
data.tar.xz
⊟
3.97 KB
data.tar
⊟
1.3 KB
file list
    
Offset 1, 11 lines modifiedOffset 1, 11 lines modified
1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./
2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/
3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/bin/3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/bin/
4 -rwxr-xr-x···0·root·········(0)·root·········(0)·····3457·2025-04-11·08:41:09.000000·./usr/bin/yosys-config4 -rwxr-xr-x···0·root·········(0)·root·········(0)·····3955·2025-04-11·08:41:09.000000·./usr/bin/yosys-config
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/
7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/yosys-dev/7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/yosys-dev/
8 -rw-r--r--···0·root·········(0)·root·········(0)·····2826·2025-04-11·08:41:09.000000·./usr/share/doc/yosys-dev/changelog.Debian.gz8 -rw-r--r--···0·root·········(0)·root·········(0)·····2826·2025-04-11·08:41:09.000000·./usr/share/doc/yosys-dev/changelog.Debian.gz
9 -rw-r--r--···0·root·········(0)·root·········(0)····18593·2025-04-09·05:38:42.000000·./usr/share/doc/yosys-dev/changelog.gz9 -rw-r--r--···0·root·········(0)·root·········(0)····18593·2025-04-09·05:38:42.000000·./usr/share/doc/yosys-dev/changelog.gz
10 -rw-r--r--···0·root·········(0)·root·········(0)····23806·2025-04-11·08:32:04.000000·./usr/share/doc/yosys-dev/copyright10 -rw-r--r--···0·root·········(0)·root·········(0)····23806·2025-04-11·08:32:04.000000·./usr/share/doc/yosys-dev/copyright
11 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/man/11 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/man/
⊟
2.65 KB
./usr/bin/yosys-config
    
Offset 4, 15 lines modifiedOffset 4, 15 lines modified
4 »       {4 »       {
5 »       »       echo·""5 »       »       echo·""
6 »       »       echo·"Usage:·$0·[--exec]·[--prefix·pf]·args.."6 »       »       echo·"Usage:·$0·[--exec]·[--prefix·pf]·args.."
7 »       »       echo·"·······$0·--build·modname.so·cppsources.."7 »       »       echo·"·······$0·--build·modname.so·cppsources.."
8 »       »       echo·""8 »       »       echo·""
9 »       »       echo·"Replacement·args:"9 »       »       echo·"Replacement·args:"
10 »       »       echo·"····--cxx·········g++"10 »       »       echo·"····--cxx·········g++"
11 »       »       echo·"····--cxxflags····$(·echo·'-g·-O2·-flto=auto·-ffat-lto-objects·-fstack-protector-strong·-fstack-clash-protection·-Wformat·-Werror=format-security·-fcf-protection·-Wall·-Wextra·-ggdb·-I/usr/share/yosys/include·-MD·-MP·-D_YOSYS_·-fPIC·-I/usr/include·-DYOSYS_VER='·|·fmt·-w60·|·sed·':a;N;$!ba;s/\n/·\\\n······················/g'·)"11 »       »       echo·"····--cxxflags····$(·echo·'-g·-O2·-flto=auto·-ffat-lto-objects·-fstack-protector-strong·-fstack-clash-protection·-Wformat·-Werror=format-security·-fcf-protection·-Wall·-Wextra·-ggdb·-I/usr/share/yosys/include·-MD·-MP·-D_YOSYS_·-fPIC·-I/usr/include·-DYOSYS_VER=@CXXFLAGS@.52·-DYOSYS_MAJOR=0·-DYOSYS_MINOR=52·-DYOSYS_COMMIT=0.52·-std=c++17·-O3·-DYOSYS_ENABLE_READLINE·-DYOSYS_ENABLE_PLUGINS·-DYOSYS_ENABLE_GLOB·-DYOSYS_ENABLE_ZLIB·-I/usr/include/tcl8.6·-DYOSYS_ENABLE_TCL·-DYOSYS_ENABLE_ABC·-DYOSYS_ENABLE_COVER'·|·fmt·-w60·|·sed·':a;N;$!ba;s/\n/·\\\n······················/g'·)"
12 »       »       echo·"····--linkflags···-rdynamic"12 »       »       echo·"····--linkflags···-rdynamic"
13 »       »       echo·"····--ldflags·····(alias·of·--linkflags)"13 »       »       echo·"····--ldflags·····(alias·of·--linkflags)"
14 »       »       echo·"····--libs········-lstdc++·-lm·-lrt·-lreadline·-lffi·-ldl·-lz·-ltcl8.6·-ltclstub8.6"14 »       »       echo·"····--libs········-lstdc++·-lm·-lrt·-lreadline·-lffi·-ldl·-lz·-ltcl8.6·-ltclstub8.6"
15 »       »       echo·"····--ldlibs······(alias·of·--libs)"15 »       »       echo·"····--ldlibs······(alias·of·--libs)"
16 »       »       echo·"····--bindir······/usr/bin"16 »       »       echo·"····--bindir······/usr/bin"
17 »       »       echo·"····--datdir······/usr/share/yosys"17 »       »       echo·"····--datdir······/usr/share/yosys"
18 »       »       echo·""18 »       »       echo·""
Offset 60, 15 lines modifiedOffset 60, 15 lines modified
60 »       »       get_prefix=false60 »       »       get_prefix=false
61 »       »       continue61 »       »       continue
62 »       fi62 »       fi
63 »       case·"$opt"·in63 »       case·"$opt"·in
64 »       »       "$prefix"cxx)64 »       »       "$prefix"cxx)
65 »       »       »       tokens=(·"${tokens[@]}"··g++·······)·;;65 »       »       »       tokens=(·"${tokens[@]}"··g++·······)·;;
66 »       »       "$prefix"cxxflags)66 »       »       "$prefix"cxxflags)
67 »       »       »       tokens=(·"${tokens[@]}"··-g·-O2·-flto=auto·-ffat-lto-objects·-fstack-protector-strong·-fstack-clash-protection·-Wformat·-Werror=format-security·-fcf-protection·-Wall·-Wextra·-ggdb·-I/usr/share/yosys/include·-MD·-MP·-D_YOSYS_·-fPIC·-I/usr/include·-DYOSYS_VER=··)·;;67 »       »       »       tokens=(·"${tokens[@]}"··-g·-O2·-flto=auto·-ffat-lto-objects·-fstack-protector-strong·-fstack-clash-protection·-Wformat·-Werror=format-security·-fcf-protection·-Wall·-Wextra·-ggdb·-I/usr/share/yosys/include·-MD·-MP·-D_YOSYS_·-fPIC·-I/usr/include·-DYOSYS_VER=@CXXFLAGS@.52·-DYOSYS_MAJOR=0·-DYOSYS_MINOR=52·-DYOSYS_COMMIT=0.52·-std=c++17·-O3·-DYOSYS_ENABLE_READLINE·-DYOSYS_ENABLE_PLUGINS·-DYOSYS_ENABLE_GLOB·-DYOSYS_ENABLE_ZLIB·-I/usr/include/tcl8.6·-DYOSYS_ENABLE_TCL·-DYOSYS_ENABLE_ABC·-DYOSYS_ENABLE_COVER··)·;;
68 »       »       "$prefix"linkflags)68 »       »       "$prefix"linkflags)
69 »       »       »       tokens=(·"${tokens[@]}"··-rdynamic···)·;;69 »       »       »       tokens=(·"${tokens[@]}"··-rdynamic···)·;;
70 »       »       "$prefix"libs)70 »       »       "$prefix"libs)
71 »       »       »       tokens=(·"${tokens[@]}"··-lstdc++·-lm·-lrt·-lreadline·-lffi·-ldl·-lz·-ltcl8.6·-ltclstub8.6····)·;;71 »       »       »       tokens=(·"${tokens[@]}"··-lstdc++·-lm·-lrt·-lreadline·-lffi·-ldl·-lz·-ltcl8.6·-ltclstub8.6····)·;;
72 »       »       "$prefix"ldflags)72 »       »       "$prefix"ldflags)
73 »       »       »       tokens=(·"${tokens[@]}"··-rdynamic···)·;;73 »       »       »       tokens=(·"${tokens[@]}"··-rdynamic···)·;;
74 »       »       "$prefix"ldlibs)74 »       »       "$prefix"ldlibs)
⊟
242 KB
yosys-doc_0.52-1_all.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2025-04-11·08:41:09.000000·debian-binary1 -rw-r--r--···0········0········0········4·2025-04-11·08:41:09.000000·debian-binary
2 -rw-r--r--···0········0········0······888·2025-04-11·08:41:09.000000·control.tar.xz2 -rw-r--r--···0········0········0······888·2025-04-11·08:41:09.000000·control.tar.xz
3 -rw-r--r--···0········0········0··2914636·2025-04-11·08:41:09.000000·data.tar.xz3 -rw-r--r--···0········0········0··2915620·2025-04-11·08:41:09.000000·data.tar.xz
⊟
593 B
control.tar.xz
⊟
565 B
control.tar
⊟
495 B
./control
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 Package:·yosys-doc1 Package:·yosys-doc
2 Source:·yosys2 Source:·yosys
3 Version:·0.52-13 Version:·0.52-1
4 Architecture:·all4 Architecture:·all
5 Maintainer:·Debian·Electronics·Team·<pkg-electronics-devel@lists.alioth.debian.org>5 Maintainer:·Debian·Electronics·Team·<pkg-electronics-devel@lists.alioth.debian.org>
6 Installed-Size:·30456 Installed-Size:·3046
7 Suggests:·yosys7 Suggests:·yosys
8 Section:·doc8 Section:·doc
9 Priority:·optional9 Priority:·optional
10 Multi-Arch:·foreign10 Multi-Arch:·foreign
11 Homepage:·https://github.com/YosysHQ/yosys11 Homepage:·https://github.com/YosysHQ/yosys
12 Description:·Framework·for·Verilog·RTL·synthesis·(documentation)12 Description:·Framework·for·Verilog·RTL·synthesis·(documentation)
13 ·Yosys·is·a·framework·for·Verilog·RTL·synthesis.·It·currently·has·extensive13 ·Yosys·is·a·framework·for·Verilog·RTL·synthesis.·It·currently·has·extensive
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
241 KB
data.tar.xz
⊟
241 KB
data.tar
⊟
1.61 KB
file list
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./
2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/
3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/
4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/yosys/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/yosys/
6 -rw-r--r--···0·root·········(0)·root·········(0)··3060185·2025-04-11·08:41:09.000000·./usr/share/doc/yosys/yosyshqyosys.pdf6 -rw-r--r--···0·root·········(0)·root·········(0)··3060896·2025-04-11·08:41:09.000000·./usr/share/doc/yosys/yosyshqyosys.pdf
7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/yosys-doc/7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/yosys-doc/
8 -rw-r--r--···0·root·········(0)·root·········(0)·····2827·2025-04-11·08:41:09.000000·./usr/share/doc/yosys-doc/changelog.Debian.gz8 -rw-r--r--···0·root·········(0)·root·········(0)·····2827·2025-04-11·08:41:09.000000·./usr/share/doc/yosys-doc/changelog.Debian.gz
9 -rw-r--r--···0·root·········(0)·root·········(0)····18593·2025-04-09·05:38:42.000000·./usr/share/doc/yosys-doc/changelog.gz9 -rw-r--r--···0·root·········(0)·root·········(0)····18593·2025-04-09·05:38:42.000000·./usr/share/doc/yosys-doc/changelog.gz
10 -rw-r--r--···0·root·········(0)·root·········(0)····23806·2025-04-11·08:32:04.000000·./usr/share/doc/yosys-doc/copyright10 -rw-r--r--···0·root·········(0)·root·········(0)····23806·2025-04-11·08:32:04.000000·./usr/share/doc/yosys-doc/copyright
11 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc-base/11 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc-base/
12 -rw-r--r--···0·root·········(0)·root·········(0)······245·2023-08-27·13:27:37.000000·./usr/share/doc-base/yosys-doc.yosys-manual12 -rw-r--r--···0·root·········(0)·root·········(0)······245·2023-08-27·13:27:37.000000·./usr/share/doc-base/yosys-doc.yosys-manual
13 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/yosys/manual.pdf·->·yosyshqyosys.pdf13 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2025-04-11·08:41:09.000000·./usr/share/doc/yosys/manual.pdf·->·yosyshqyosys.pdf
⊟
239 KB
./usr/share/doc/yosys/yosyshqyosys.pdf
⊟
239 KB
pdftotext {} -
    
Offset 198, 372 lines modifiedOffset 198, 372 lines modified
198 8198 8
  
199 Auxiliary·programs199 Auxiliary·programs
200 225200 225
201 8.1·yosys-config·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·225201 8.1·yosys-config·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·225
202 8.2·yosys-filterlib·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·226202 8.2·yosys-filterlib·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·226
203 8.3·yosys-abc·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·226203 8.3·yosys-abc·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·226
204 8.4·yosys-smtbmc·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·226204 8.4·yosys-smtbmc·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·227
205 8.5·yosys-witness·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·230205 8.5·yosys-witness·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·230
  
206 9206 9
  
207 Internal·cell·library207 Internal·cell·library
208 231208 233
209 9.1·Word-level·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·231209 9.1·Word-level·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·233
210 9.1.1·Unary·operators·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·231210 9.1.1·Unary·operators·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·233
211 9.1.2·Binary·operators·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·237211 9.1.2·Binary·operators·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·239
212 9.1.3·Multiplexers·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·257212 9.1.3·Multiplexers·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·259
213 9.1.4·Registers·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·261213 9.1.4·Registers·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·263
214 9.1.5·Memories·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·271214 9.1.5·Memories·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·273
215 9.1.6·Finite·state·machines·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·283215 9.1.6·Finite·state·machines·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·285
216 9.1.7·Coarse·arithmetics·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·285216 9.1.7·Coarse·arithmetics·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·287
217 9.1.8·Arbitrary·logic·functions·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·293217 9.1.8·Arbitrary·logic·functions·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·295
218 9.1.9·Specify·rules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·295218 9.1.9·Specify·rules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·297
219 iii219 iii
  
220 \xc9.2220 \xc9.2
  
221 9.3221 9.3
  
222 9.1.10·Formal·verification·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·300222 9.1.10·Formal·verification·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·302
223 9.1.11·Debugging·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·306223 9.1.11·Debugging·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·308
224 9.1.12·Wire·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·309224 9.1.12·Wire·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·311
225 Gate-level·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·310225 Gate-level·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·312
226 9.2.1·Combinatorial·cells·(simple)·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·311226 9.2.1·Combinatorial·cells·(simple)·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·313
227 9.2.2·Combinatorial·cells·(combined)·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·315227 9.2.2·Combinatorial·cells·(combined)·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·317
228 9.2.3·Flip-flop·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·321228 9.2.3·Flip-flop·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·323
229 9.2.4·Latch·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·375229 9.2.4·Latch·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·377
230 9.2.5·Other·gate-level·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·387230 9.2.5·Other·gate-level·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·389
231 Cell·properties·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·388231 Cell·properties·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·390
  
232 10·Command·line·reference232 10·Command·line·reference
233 389233 391
234 10.1·Yosys·environment·variables·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·390234 10.1·Yosys·environment·variables·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·392
235 10.2·abc·-·use·ABC·for·technology·mapping·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·391235 10.2·abc·-·use·ABC·for·technology·mapping·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·393
236 10.3·abc9·-·use·ABC9·for·technology·mapping·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·394236 10.3·abc9·-·use·ABC9·for·technology·mapping·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·396
237 10.4·abc9_exe·-·use·ABC9·for·technology·mapping·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·397237 10.4·abc9_exe·-·use·ABC9·for·technology·mapping·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·399
238 10.5·abc9_ops·-·helper·functions·for·ABC9·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·399238 10.5·abc9_ops·-·helper·functions·for·ABC9·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·401
239 10.6·abc_new·-·(experimental)·use·ABC·for·SC·technology·mapping·(new)·.·.·.·.·.·.·.·.·.·.·.·.·.·401239 10.6·abc_new·-·(experimental)·use·ABC·for·SC·technology·mapping·(new)·.·.·.·.·.·.·.·.·.·.·.·.·.·403
240 10.7·abstract·-·replace·signals·with·abstract·values·during·formal·verification·.·.·.·.·.·.·.·.·.·.·.·.·402240 10.7·abstract·-·replace·signals·with·abstract·values·during·formal·verification·.·.·.·.·.·.·.·.·.·.·.·.·404
241 10.8·add·-·add·objects·to·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·403241 10.8·add·-·add·objects·to·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·405
242 10.9·aigmap·-·map·logic·to·and-inverter-graph·circuit·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·404242 10.9·aigmap·-·map·logic·to·and-inverter-graph·circuit·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·406
243 10.10·alumacc·-·extract·ALU·and·MACC·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·404243 10.10·alumacc·-·extract·ALU·and·MACC·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·406
244 10.11·anlogic_eqn·-·Anlogic:·Calculate·equations·for·luts·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·404244 10.11·anlogic_eqn·-·Anlogic:·Calculate·equations·for·luts·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·406
245 10.12·anlogic_fixcarry·-·Anlogic:·fix·carry·chain·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·405245 10.12·anlogic_fixcarry·-·Anlogic:·fix·carry·chain·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407
246 10.13·assertpmux·-·adds·asserts·for·parallel·muxes·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·405246 10.13·assertpmux·-·adds·asserts·for·parallel·muxes·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407
247 10.14·async2sync·-·convert·async·FF·inputs·to·sync·circuits·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·405247 10.14·async2sync·-·convert·async·FF·inputs·to·sync·circuits·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407
248 10.15·attrmap·-·renaming·attributes·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·405248 10.15·attrmap·-·renaming·attributes·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407
249 10.16·attrmvcp·-·move·or·copy·attributes·from·wires·to·driving·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·406249 10.16·attrmvcp·-·move·or·copy·attributes·from·wires·to·driving·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·408
250 10.17·autoname·-·automatically·assign·names·to·objects·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407250 10.17·autoname·-·automatically·assign·names·to·objects·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·409
251 10.18·blackbox·-·convert·modules·into·blackbox·modules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407251 10.18·blackbox·-·convert·modules·into·blackbox·modules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·409
252 10.19·bmuxmap·-·transform·$bmux·cells·to·trees·of·$mux·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407252 10.19·bmuxmap·-·transform·$bmux·cells·to·trees·of·$mux·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·409
253 10.20·booth·-·map·$mul·cells·to·Booth·multipliers·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407253 10.20·booth·-·map·$mul·cells·to·Booth·multipliers·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·409
254 10.21·box_derive·-·derive·box·modules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·408254 10.21·box_derive·-·derive·box·modules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·410
255 10.22·bufnorm·-·(experimental)·convert·design·into·buffered-normalized·form·.·.·.·.·.·.·.·.·.·.·.·.·408255 10.22·bufnorm·-·(experimental)·convert·design·into·buffered-normalized·form·.·.·.·.·.·.·.·.·.·.·.·.·410
256 10.23·bugpoint·-·minimize·testcases·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·410256 10.23·bugpoint·-·minimize·testcases·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·412
257 10.24·bwmuxmap·-·replace·$bwmux·cells·with·equivalent·logic·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·411257 10.24·bwmuxmap·-·replace·$bwmux·cells·with·equivalent·logic·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·413
258 10.25·cd·-·a·shortcut·for·‘select·-module·<name>’·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·411258 10.25·cd·-·a·shortcut·for·‘select·-module·<name>’·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·413
259 10.26·cellmatch·-·match·cells·to·their·targets·in·cell·library·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·412259 10.26·cellmatch·-·match·cells·to·their·targets·in·cell·library·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·414
260 10.27·check·-·check·for·obvious·problems·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·412260 10.27·check·-·check·for·obvious·problems·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·414
261 10.28·chformal·-·change·formal·constraints·of·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·413261 10.28·chformal·-·change·formal·constraints·of·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·415
262 10.29·chparam·-·re-evaluate·modules·with·new·parameters·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·414262 10.29·chparam·-·re-evaluate·modules·with·new·parameters·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·416
263 10.30·chtype·-·change·type·of·cells·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·414263 10.30·chtype·-·change·type·of·cells·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·416
264 10.31·clean·-·remove·unused·cells·and·wires·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·414264 10.31·clean·-·remove·unused·cells·and·wires·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·416
265 10.32·clean_zerowidth·-·clean·zero-width·connections·from·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·415265 10.32·clean_zerowidth·-·clean·zero-width·connections·from·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·417
266 10.33·clk2fflogic·-·convert·clocked·FFs·to·generic·$ff·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·415266 10.33·clk2fflogic·-·convert·clocked·FFs·to·generic·$ff·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·417
267 10.34·clkbufmap·-·insert·clock·buffers·on·clock·networks·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·415267 10.34·clkbufmap·-·insert·clock·buffers·on·clock·networks·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·417
268 10.35·clockgate·-·extract·clock·gating·out·of·flip·flops·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·416268 10.35·clockgate·-·extract·clock·gating·out·of·flip·flops·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·418
269 10.36·connect·-·create·or·remove·connections·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·417269 10.36·connect·-·create·or·remove·connections·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·419
270 10.37·connect_rpc·-·connect·to·RPC·frontend·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·417270 10.37·connect_rpc·-·connect·to·RPC·frontend·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·419
271 10.38·connwrappers·-·match·width·of·input-output·port·pairs·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·418271 10.38·connwrappers·-·match·width·of·input-output·port·pairs·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·420
272 10.39·coolrunner2_fixup·-·insert·necessary·buffer·cells·for·CoolRunner-II·architecture·.·.·.·.·.·.·.·.·419272 10.39·coolrunner2_fixup·-·insert·necessary·buffer·cells·for·CoolRunner-II·architecture·.·.·.·.·.·.·.·.·421
273 10.40·coolrunner2_sop·-·break·$sop·cells·into·ANDTERM/ORTERM·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·419273 10.40·coolrunner2_sop·-·break·$sop·cells·into·ANDTERM/ORTERM·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421
274 10.41·copy·-·copy·modules·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·419274 10.41·copy·-·copy·modules·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421
275 10.42·cover·-·print·code·coverage·counters·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·419275 10.42·cover·-·print·code·coverage·counters·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421
  
276 iv276 iv
  
277 \xc10.43·cutpoint·-·adds·formal·cut·points·to·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·420277 \xc10.43·cutpoint·-·adds·formal·cut·points·to·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·422
278 10.44·debug·-·run·command·with·debug·log·messages·enabled·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·420278 10.44·debug·-·run·command·with·debug·log·messages·enabled·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·422
279 10.45·delete·-·delete·objects·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421279 10.45·delete·-·delete·objects·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·423
280 10.46·deminout·-·demote·inout·ports·to·input·or·output·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421280 10.46·deminout·-·demote·inout·ports·to·input·or·output·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·423
281 10.47·demuxmap·-·transform·$demux·cells·to·$eq·+·$mux·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421281 10.47·demuxmap·-·transform·$demux·cells·to·$eq·+·$mux·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·423
282 10.48·design·-·save,·restore·and·reset·current·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421282 10.48·design·-·save,·restore·and·reset·current·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·423
283 10.49·dffinit·-·set·INIT·param·on·FF·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·423283 10.49·dffinit·-·set·INIT·param·on·FF·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·425
284 10.50·dfflegalize·-·convert·FFs·to·types·supported·by·the·target·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·423284 10.50·dfflegalize·-·convert·FFs·to·types·supported·by·the·target·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·425
285 10.51·dfflibmap·-·technology·mapping·of·flip-flops·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·424285 10.51·dfflibmap·-·technology·mapping·of·flip-flops·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·426
286 10.52·dffunmap·-·unmap·clock·enable·and·synchronous·reset·from·FFs·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·425286 10.52·dffunmap·-·unmap·clock·enable·and·synchronous·reset·from·FFs·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·427
287 10.53·dft_tag·-·create·tagging·logic·for·data·flow·tracking·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·425287 10.53·dft_tag·-·create·tagging·logic·for·data·flow·tracking·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·427
288 10.54·dump·-·print·parts·of·the·design·in·RTLIL·format·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·426288 10.54·dump·-·print·parts·of·the·design·in·RTLIL·format·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·428
289 10.55·echo·-·turning·echoing·back·of·commands·on·and·off·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·426289 10.55·echo·-·turning·echoing·back·of·commands·on·and·off·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·428
290 10.56·edgetypes·-·list·all·types·of·edges·in·selection·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·426290 10.56·edgetypes·-·list·all·types·of·edges·in·selection·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·428
291 10.57·efinix_fixcarry·-·Efinix:·fix·carry·chain·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·427291 10.57·efinix_fixcarry·-·Efinix:·fix·carry·chain·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·429
292 10.58·equiv_add·-·add·a·$equiv·cell·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·427292 10.58·equiv_add·-·add·a·$equiv·cell·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·429
293 10.59·equiv_induct·-·proving·$equiv·cells·using·temporal·induction·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·427293 10.59·equiv_induct·-·proving·$equiv·cells·using·temporal·induction·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·429
294 10.60·equiv_make·-·prepare·a·circuit·for·equivalence·checking·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·428294 10.60·equiv_make·-·prepare·a·circuit·for·equivalence·checking·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·430
295 10.61·equiv_mark·-·mark·equivalence·checking·regions·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·428295 10.61·equiv_mark·-·mark·equivalence·checking·regions·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·430
296 10.62·equiv_miter·-·extract·miter·from·equiv·circuit·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·428296 10.62·equiv_miter·-·extract·miter·from·equiv·circuit·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·430
297 10.63·equiv_opt·-·prove·equivalence·for·optimized·circuit·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·429297 10.63·equiv_opt·-·prove·equivalence·for·optimized·circuit·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·431
298 10.64·equiv_purge·-·purge·equivalence·checking·module·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·430298 10.64·equiv_purge·-·purge·equivalence·checking·module·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·432
299 10.65·equiv_remove·-·remove·$equiv·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·430299 10.65·equiv_remove·-·remove·$equiv·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·432
300 10.66·equiv_simple·-·try·proving·simple·$equiv·instances·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·431300 10.66·equiv_simple·-·try·proving·simple·$equiv·instances·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·433
301 10.67·equiv_status·-·print·status·of·equivalent·checking·module·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·431301 10.67·equiv_status·-·print·status·of·equivalent·checking·module·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·433
302 10.68·equiv_struct·-·structural·equivalence·checking·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·431302 10.68·equiv_struct·-·structural·equivalence·checking·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·433
303 10.69·eval·-·evaluate·the·circuit·given·an·input·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·432303 10.69·eval·-·evaluate·the·circuit·given·an·input·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·434
304 10.70·example_dt·-·drivertools·example·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·432304 10.70·example_dt·-·drivertools·example·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·434
305 10.71·exec·-·execute·commands·in·the·operating·system·shell·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·433305 10.71·exec·-·execute·commands·in·the·operating·system·shell·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·435
306 10.72·expose·-·convert·internal·signals·to·module·ports·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·433306 10.72·expose·-·convert·internal·signals·to·module·ports·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·435
307 10.73·extract·-·find·subcircuits·and·replace·them·with·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·434307 10.73·extract·-·find·subcircuits·and·replace·them·with·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·436
308 10.74·extract_counter·-·Extract·GreenPak4·counter·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·436308 10.74·extract_counter·-·Extract·GreenPak4·counter·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·438
309 10.75·extract_fa·-·find·and·extract·full/half·adders·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·436309 10.75·extract_fa·-·find·and·extract·full/half·adders·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·438
310 10.76·extract_reduce·-·converts·gate·chains·into·$reduce_*·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·437310 10.76·extract_reduce·-·converts·gate·chains·into·$reduce_*·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·439
311 10.77·extractinv·-·extract·explicit·inverter·cells·for·invertible·cell·pins·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·437311 10.77·extractinv·-·extract·explicit·inverter·cells·for·invertible·cell·pins·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·439
312 10.78·flatten·-·flatten·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·437312 10.78·flatten·-·flatten·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·439
313 10.79·flowmap·-·pack·LUTs·with·FlowMap·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·438313 10.79·flowmap·-·pack·LUTs·with·FlowMap·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·440
314 10.80·fmcombine·-·combine·two·instances·of·a·cell·into·one·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·439314 10.80·fmcombine·-·combine·two·instances·of·a·cell·into·one·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·441
315 10.81·fminit·-·set·init·values/sequences·for·formal·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·440315 10.81·fminit·-·set·init·values/sequences·for·formal·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·442
Max diff block lines reached; 218698/244802 bytes (89.34%) of diff not shown.
Generated by diffoscope 293