⊟
243 KB
/srv/reproducible-results/rbuild-debian/r-b-build.sLOJjhz4/b1/yosys_0.51-1_amd64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.sLOJjhz4/b2/yosys_0.51-1_amd64.changes
⊟
730 B
Files
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 ·88a9c59809e8038512300f6ac5c755e8·22676268·debug·optional·yosys-abc-dbgsym_0.51-1_amd64.deb1 ·88a9c59809e8038512300f6ac5c755e8·22676268·debug·optional·yosys-abc-dbgsym_0.51-1_amd64.deb
2 ·b5d433809c51ae0ffea8a19c687550c4·4595248·electronics·optional·yosys-abc_0.51-1_amd64.deb2 ·b5d433809c51ae0ffea8a19c687550c4·4595248·electronics·optional·yosys-abc_0.51-1_amd64.deb
3 ·2c9e7e93ba936070550f239da54f95b5·92620500·debug·optional·yosys-dbgsym_0.51-1_amd64.deb3 ·2c9e7e93ba936070550f239da54f95b5·92620500·debug·optional·yosys-dbgsym_0.51-1_amd64.deb
4 ·919ebcffbda23a2bf209754ebdaaa58f·134696·electronics·optional·yosys-dev_0.51-1_amd64.deb 
5 ·9135aa2ce026bdcc439d38ffdf1b3f6a·2907032·doc·optional·yosys-doc_0.51-1_all.deb4 ·289cd0f91a8ef537adb03c68c4bab393·134788·electronics·optional·yosys-dev_0.51-1_amd64.deb
 5 ·649771a6c6de0070a995f5597e179ad7·2908252·doc·optional·yosys-doc_0.51-1_all.deb
6 ·7fdde6159591df026b5d37d5306a567c·6200852·electronics·optional·yosys_0.51-1_amd64.deb6 ·7fdde6159591df026b5d37d5306a567c·6200852·electronics·optional·yosys_0.51-1_amd64.deb
⊟
4.58 KB
yosys-dev_0.51-1_amd64.deb
⊟
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2025-03-17·23:00:57.000000·debian-binary1 -rw-r--r--···0········0········0········4·2025-03-17·23:00:57.000000·debian-binary
2 -rw-r--r--···0········0········0·····2268·2025-03-17·23:00:57.000000·control.tar.xz2 -rw-r--r--···0········0········0·····2264·2025-03-17·23:00:57.000000·control.tar.xz
3 -rw-r--r--···0········0········0···132236·2025-03-17·23:00:57.000000·data.tar.xz3 -rw-r--r--···0········0········0···132332·2025-03-17·23:00:57.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-03-17·23:00:57.000000·./1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./
2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/
3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/bin/3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/bin/
4 -rwxr-xr-x···0·root·········(0)·root·········(0)·····3441·2025-03-17·23:00:57.000000·./usr/bin/yosys-config4 -rwxr-xr-x···0·root·········(0)·root·········(0)·····3939·2025-03-17·23:00:57.000000·./usr/bin/yosys-config
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/
6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/doc/6 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/doc/
7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/doc/yosys-dev/7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/doc/yosys-dev/
8 -rw-r--r--···0·root·········(0)·root·········(0)·····2764·2025-03-17·23:00:57.000000·./usr/share/doc/yosys-dev/changelog.Debian.gz8 -rw-r--r--···0·root·········(0)·root·········(0)·····2764·2025-03-17·23:00:57.000000·./usr/share/doc/yosys-dev/changelog.Debian.gz
9 -rw-r--r--···0·root·········(0)·root·········(0)····18469·2025-03-12·07:31:37.000000·./usr/share/doc/yosys-dev/changelog.gz9 -rw-r--r--···0·root·········(0)·root·········(0)····18469·2025-03-12·07:31:37.000000·./usr/share/doc/yosys-dev/changelog.gz
10 -rw-r--r--···0·root·········(0)·root·········(0)····23249·2025-03-17·22:58:51.000000·./usr/share/doc/yosys-dev/copyright10 -rw-r--r--···0·root·········(0)·root·········(0)····23249·2025-03-17·22:58:51.000000·./usr/share/doc/yosys-dev/copyright
11 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/man/11 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.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@.51·-DYOSYS_MAJOR=0·-DYOSYS_MINOR=51·-DYOSYS_COMMIT=0.51·-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@.51·-DYOSYS_MAJOR=0·-DYOSYS_MINOR=51·-DYOSYS_COMMIT=0.51·-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)
⊟
238 KB
yosys-doc_0.51-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-03-17·23:00:57.000000·debian-binary1 -rw-r--r--···0········0········0········4·2025-03-17·23:00:57.000000·debian-binary
2 -rw-r--r--···0········0········0······888·2025-03-17·23:00:57.000000·control.tar.xz2 -rw-r--r--···0········0········0······888·2025-03-17·23:00:57.000000·control.tar.xz
3 -rw-r--r--···0········0········0··2905952·2025-03-17·23:00:57.000000·data.tar.xz3 -rw-r--r--···0········0········0··2907172·2025-03-17·23:00:57.000000·data.tar.xz
⊟
601 B
control.tar.xz
⊟
573 B
control.tar
⊟
503 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.51-13 Version:·0.51-1
4 Architecture:·all4 Architecture:·all
5 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@lists.alioth.debian.org>5 Maintainer:·Debian·Science·Maintainers·<debian-science-maintainers@lists.alioth.debian.org>
6 Installed-Size:·30366 Installed-Size:·3037
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
⊟
237 KB
data.tar.xz
⊟
237 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-03-17·23:00:57.000000·./1 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./
2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/2 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/
3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/3 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/
4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/doc/4 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/doc/
5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/doc/yosys/5 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/doc/yosys/
6 -rw-r--r--···0·root·········(0)·root·········(0)··3052414·2025-03-17·23:00:57.000000·./usr/share/doc/yosys/yosyshqyosys.pdf6 -rw-r--r--···0·root·········(0)·root·········(0)··3053408·2025-03-17·23:00:57.000000·./usr/share/doc/yosys/yosyshqyosys.pdf
7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/doc/yosys-doc/7 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/doc/yosys-doc/
8 -rw-r--r--···0·root·········(0)·root·········(0)·····2765·2025-03-17·23:00:57.000000·./usr/share/doc/yosys-doc/changelog.Debian.gz8 -rw-r--r--···0·root·········(0)·root·········(0)·····2765·2025-03-17·23:00:57.000000·./usr/share/doc/yosys-doc/changelog.Debian.gz
9 -rw-r--r--···0·root·········(0)·root·········(0)····18469·2025-03-12·07:31:37.000000·./usr/share/doc/yosys-doc/changelog.gz9 -rw-r--r--···0·root·········(0)·root·········(0)····18469·2025-03-12·07:31:37.000000·./usr/share/doc/yosys-doc/changelog.gz
10 -rw-r--r--···0·root·········(0)·root·········(0)····23249·2025-03-17·22:58:51.000000·./usr/share/doc/yosys-doc/copyright10 -rw-r--r--···0·root·········(0)·root·········(0)····23249·2025-03-17·22:58:51.000000·./usr/share/doc/yosys-doc/copyright
11 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/doc-base/11 drwxr-xr-x···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/doc-base/
12 -rw-r--r--···0·root·········(0)·root·········(0)······245·2025-03-17·22:47:33.000000·./usr/share/doc-base/yosys-doc.yosys-manual12 -rw-r--r--···0·root·········(0)·root·········(0)······245·2025-03-17·22:47:33.000000·./usr/share/doc-base/yosys-doc.yosys-manual
13 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/doc/yosys/manual.pdf·->·yosyshqyosys.pdf13 lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2025-03-17·23:00:57.000000·./usr/share/doc/yosys/manual.pdf·->·yosyshqyosys.pdf
⊟
235 KB
./usr/share/doc/yosys/yosyshqyosys.pdf
⊟
235 KB
pdftotext {} -
    
Offset 198, 370 lines modifiedOffset 198, 370 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·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·291217 9.1.8·Arbitrary·logic·functions·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·293
218 9.1.9·Specify·rules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·292218 9.1.9·Specify·rules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·294
219 iii219 iii
  
220 \xc9.2220 \xc9.2
  
221 9.3221 9.3
  
222 9.1.10·Formal·verification·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·297222 9.1.10·Formal·verification·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·299
223 9.1.11·Debugging·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·304223 9.1.11·Debugging·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·306
224 9.1.12·Wire·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·307224 9.1.12·Wire·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·309
225 Gate-level·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·308225 Gate-level·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·310
226 9.2.1·Combinatorial·cells·(simple)·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·309226 9.2.1·Combinatorial·cells·(simple)·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·311
227 9.2.2·Combinatorial·cells·(combined)·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·313227 9.2.2·Combinatorial·cells·(combined)·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·315
228 9.2.3·Flip-flop·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·319228 9.2.3·Flip-flop·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·321
229 9.2.4·Latch·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·373229 9.2.4·Latch·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·375
230 9.2.5·Other·gate-level·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·385230 9.2.5·Other·gate-level·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·387
231 Cell·properties·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·386231 Cell·properties·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·388
  
232 10·Command·line·reference232 10·Command·line·reference
233 387233 389
234 10.1·Yosys·environment·variables·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·388234 10.1·Yosys·environment·variables·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·390
235 10.2·abc·-·use·ABC·for·technology·mapping·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·389235 10.2·abc·-·use·ABC·for·technology·mapping·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·391
236 10.3·abc9·-·use·ABC9·for·technology·mapping·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·392236 10.3·abc9·-·use·ABC9·for·technology·mapping·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·394
237 10.4·abc9_exe·-·use·ABC9·for·technology·mapping·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·395237 10.4·abc9_exe·-·use·ABC9·for·technology·mapping·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·397
238 10.5·abc9_ops·-·helper·functions·for·ABC9·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·397238 10.5·abc9_ops·-·helper·functions·for·ABC9·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·399
239 10.6·abc_new·-·(experimental)·use·ABC·for·SC·technology·mapping·(new)·.·.·.·.·.·.·.·.·.·.·.·.·.·399239 10.6·abc_new·-·(experimental)·use·ABC·for·SC·technology·mapping·(new)·.·.·.·.·.·.·.·.·.·.·.·.·.·401
240 10.7·abstract·-·replace·signals·with·abstract·values·during·formal·verification·.·.·.·.·.·.·.·.·.·.·.·.·400240 10.7·abstract·-·replace·signals·with·abstract·values·during·formal·verification·.·.·.·.·.·.·.·.·.·.·.·.·402
241 10.8·add·-·add·objects·to·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·401241 10.8·add·-·add·objects·to·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·403
242 10.9·aigmap·-·map·logic·to·and-inverter-graph·circuit·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·402242 10.9·aigmap·-·map·logic·to·and-inverter-graph·circuit·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·404
243 10.10·alumacc·-·extract·ALU·and·MACC·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·402243 10.10·alumacc·-·extract·ALU·and·MACC·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·404
244 10.11·anlogic_eqn·-·Anlogic:·Calculate·equations·for·luts·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·402244 10.11·anlogic_eqn·-·Anlogic:·Calculate·equations·for·luts·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·404
245 10.12·anlogic_fixcarry·-·Anlogic:·fix·carry·chain·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·403245 10.12·anlogic_fixcarry·-·Anlogic:·fix·carry·chain·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·405
246 10.13·assertpmux·-·adds·asserts·for·parallel·muxes·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·403246 10.13·assertpmux·-·adds·asserts·for·parallel·muxes·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·405
247 10.14·async2sync·-·convert·async·FF·inputs·to·sync·circuits·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·403247 10.14·async2sync·-·convert·async·FF·inputs·to·sync·circuits·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·405
248 10.15·attrmap·-·renaming·attributes·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·403248 10.15·attrmap·-·renaming·attributes·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·405
249 10.16·attrmvcp·-·move·or·copy·attributes·from·wires·to·driving·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·404249 10.16·attrmvcp·-·move·or·copy·attributes·from·wires·to·driving·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·406
250 10.17·autoname·-·automatically·assign·names·to·objects·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·405250 10.17·autoname·-·automatically·assign·names·to·objects·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407
251 10.18·blackbox·-·convert·modules·into·blackbox·modules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·405251 10.18·blackbox·-·convert·modules·into·blackbox·modules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407
252 10.19·bmuxmap·-·transform·$bmux·cells·to·trees·of·$mux·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·405252 10.19·bmuxmap·-·transform·$bmux·cells·to·trees·of·$mux·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407
253 10.20·booth·-·map·$mul·cells·to·Booth·multipliers·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·405253 10.20·booth·-·map·$mul·cells·to·Booth·multipliers·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·407
254 10.21·box_derive·-·derive·box·modules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·406254 10.21·box_derive·-·derive·box·modules·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·408
255 10.22·bufnorm·-·(experimental)·convert·design·into·buffered-normalized·form·.·.·.·.·.·.·.·.·.·.·.·.·406255 10.22·bufnorm·-·(experimental)·convert·design·into·buffered-normalized·form·.·.·.·.·.·.·.·.·.·.·.·.·408
256 10.23·bugpoint·-·minimize·testcases·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·408256 10.23·bugpoint·-·minimize·testcases·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·410
257 10.24·bwmuxmap·-·replace·$bwmux·cells·with·equivalent·logic·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·409257 10.24·bwmuxmap·-·replace·$bwmux·cells·with·equivalent·logic·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·411
258 10.25·cd·-·a·shortcut·for·‘select·-module·<name>’·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·409258 10.25·cd·-·a·shortcut·for·‘select·-module·<name>’·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·411
259 10.26·cellmatch·-·match·cells·to·their·targets·in·cell·library·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·410259 10.26·cellmatch·-·match·cells·to·their·targets·in·cell·library·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·412
260 10.27·check·-·check·for·obvious·problems·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·410260 10.27·check·-·check·for·obvious·problems·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·412
261 10.28·chformal·-·change·formal·constraints·of·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·411261 10.28·chformal·-·change·formal·constraints·of·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·413
262 10.29·chparam·-·re-evaluate·modules·with·new·parameters·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·412262 10.29·chparam·-·re-evaluate·modules·with·new·parameters·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·414
263 10.30·chtype·-·change·type·of·cells·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·412263 10.30·chtype·-·change·type·of·cells·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·414
264 10.31·clean·-·remove·unused·cells·and·wires·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·412264 10.31·clean·-·remove·unused·cells·and·wires·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·414
265 10.32·clean_zerowidth·-·clean·zero-width·connections·from·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·413265 10.32·clean_zerowidth·-·clean·zero-width·connections·from·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·415
266 10.33·clk2fflogic·-·convert·clocked·FFs·to·generic·$ff·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·413266 10.33·clk2fflogic·-·convert·clocked·FFs·to·generic·$ff·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·415
267 10.34·clkbufmap·-·insert·clock·buffers·on·clock·networks·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·413267 10.34·clkbufmap·-·insert·clock·buffers·on·clock·networks·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·415
268 10.35·clockgate·-·extract·clock·gating·out·of·flip·flops·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·414268 10.35·clockgate·-·extract·clock·gating·out·of·flip·flops·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·416
269 10.36·connect·-·create·or·remove·connections·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·415269 10.36·connect·-·create·or·remove·connections·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·417
270 10.37·connect_rpc·-·connect·to·RPC·frontend·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·415270 10.37·connect_rpc·-·connect·to·RPC·frontend·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·417
271 10.38·connwrappers·-·match·width·of·input-output·port·pairs·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·416271 10.38·connwrappers·-·match·width·of·input-output·port·pairs·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·418
272 10.39·coolrunner2_fixup·-·insert·necessary·buffer·cells·for·CoolRunner-II·architecture·.·.·.·.·.·.·.·.·417272 10.39·coolrunner2_fixup·-·insert·necessary·buffer·cells·for·CoolRunner-II·architecture·.·.·.·.·.·.·.·.·419
273 10.40·coolrunner2_sop·-·break·$sop·cells·into·ANDTERM/ORTERM·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·417273 10.40·coolrunner2_sop·-·break·$sop·cells·into·ANDTERM/ORTERM·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·419
274 10.41·copy·-·copy·modules·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·417274 10.41·copy·-·copy·modules·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·419
275 10.42·cover·-·print·code·coverage·counters·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·417275 10.42·cover·-·print·code·coverage·counters·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·419
  
276 iv276 iv
  
277 \xc10.43·cutpoint·-·adds·formal·cut·points·to·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·418277 \xc10.43·cutpoint·-·adds·formal·cut·points·to·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·420
278 10.44·debug·-·run·command·with·debug·log·messages·enabled·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·418278 10.44·debug·-·run·command·with·debug·log·messages·enabled·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·420
279 10.45·delete·-·delete·objects·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·419279 10.45·delete·-·delete·objects·in·the·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421
280 10.46·deminout·-·demote·inout·ports·to·input·or·output·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·419280 10.46·deminout·-·demote·inout·ports·to·input·or·output·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421
281 10.47·demuxmap·-·transform·$demux·cells·to·$eq·+·$mux·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·419281 10.47·demuxmap·-·transform·$demux·cells·to·$eq·+·$mux·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421
282 10.48·design·-·save,·restore·and·reset·current·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·419282 10.48·design·-·save,·restore·and·reset·current·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421
283 10.49·dffinit·-·set·INIT·param·on·FF·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421283 10.49·dffinit·-·set·INIT·param·on·FF·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·423
284 10.50·dfflegalize·-·convert·FFs·to·types·supported·by·the·target·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·421284 10.50·dfflegalize·-·convert·FFs·to·types·supported·by·the·target·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·423
285 10.51·dfflibmap·-·technology·mapping·of·flip-flops·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·422285 10.51·dfflibmap·-·technology·mapping·of·flip-flops·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·424
286 10.52·dffunmap·-·unmap·clock·enable·and·synchronous·reset·from·FFs·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·423286 10.52·dffunmap·-·unmap·clock·enable·and·synchronous·reset·from·FFs·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·425
287 10.53·dft_tag·-·create·tagging·logic·for·data·flow·tracking·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·423287 10.53·dft_tag·-·create·tagging·logic·for·data·flow·tracking·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·425
288 10.54·dump·-·print·parts·of·the·design·in·RTLIL·format·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·424288 10.54·dump·-·print·parts·of·the·design·in·RTLIL·format·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·426
289 10.55·echo·-·turning·echoing·back·of·commands·on·and·off·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·424289 10.55·echo·-·turning·echoing·back·of·commands·on·and·off·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·426
290 10.56·edgetypes·-·list·all·types·of·edges·in·selection·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·424290 10.56·edgetypes·-·list·all·types·of·edges·in·selection·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·426
291 10.57·efinix_fixcarry·-·Efinix:·fix·carry·chain·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·425291 10.57·efinix_fixcarry·-·Efinix:·fix·carry·chain·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·427
292 10.58·equiv_add·-·add·a·$equiv·cell·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·425292 10.58·equiv_add·-·add·a·$equiv·cell·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·427
293 10.59·equiv_induct·-·proving·$equiv·cells·using·temporal·induction·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·425293 10.59·equiv_induct·-·proving·$equiv·cells·using·temporal·induction·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·427
294 10.60·equiv_make·-·prepare·a·circuit·for·equivalence·checking·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·426294 10.60·equiv_make·-·prepare·a·circuit·for·equivalence·checking·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·428
295 10.61·equiv_mark·-·mark·equivalence·checking·regions·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·426295 10.61·equiv_mark·-·mark·equivalence·checking·regions·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·428
296 10.62·equiv_miter·-·extract·miter·from·equiv·circuit·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·426296 10.62·equiv_miter·-·extract·miter·from·equiv·circuit·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·428
297 10.63·equiv_opt·-·prove·equivalence·for·optimized·circuit·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·427297 10.63·equiv_opt·-·prove·equivalence·for·optimized·circuit·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·429
298 10.64·equiv_purge·-·purge·equivalence·checking·module·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·428298 10.64·equiv_purge·-·purge·equivalence·checking·module·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·430
299 10.65·equiv_remove·-·remove·$equiv·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·428299 10.65·equiv_remove·-·remove·$equiv·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·430
300 10.66·equiv_simple·-·try·proving·simple·$equiv·instances·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·429300 10.66·equiv_simple·-·try·proving·simple·$equiv·instances·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·431
301 10.67·equiv_status·-·print·status·of·equivalent·checking·module·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·429301 10.67·equiv_status·-·print·status·of·equivalent·checking·module·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·431
302 10.68·equiv_struct·-·structural·equivalence·checking·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·429302 10.68·equiv_struct·-·structural·equivalence·checking·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·431
303 10.69·eval·-·evaluate·the·circuit·given·an·input·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·430303 10.69·eval·-·evaluate·the·circuit·given·an·input·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·432
304 10.70·example_dt·-·drivertools·example·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·430304 10.70·example_dt·-·drivertools·example·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·432
305 10.71·exec·-·execute·commands·in·the·operating·system·shell·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·431305 10.71·exec·-·execute·commands·in·the·operating·system·shell·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·433
306 10.72·expose·-·convert·internal·signals·to·module·ports·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·431306 10.72·expose·-·convert·internal·signals·to·module·ports·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·433
307 10.73·extract·-·find·subcircuits·and·replace·them·with·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·432307 10.73·extract·-·find·subcircuits·and·replace·them·with·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·434
308 10.74·extract_counter·-·Extract·GreenPak4·counter·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·434308 10.74·extract_counter·-·Extract·GreenPak4·counter·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·436
309 10.75·extract_fa·-·find·and·extract·full/half·adders·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·434309 10.75·extract_fa·-·find·and·extract·full/half·adders·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·436
310 10.76·extract_reduce·-·converts·gate·chains·into·$reduce_*·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·435310 10.76·extract_reduce·-·converts·gate·chains·into·$reduce_*·cells·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·437
311 10.77·extractinv·-·extract·explicit·inverter·cells·for·invertible·cell·pins·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·435311 10.77·extractinv·-·extract·explicit·inverter·cells·for·invertible·cell·pins·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·437
312 10.78·flatten·-·flatten·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·435312 10.78·flatten·-·flatten·design·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·437
313 10.79·flowmap·-·pack·LUTs·with·FlowMap·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·436313 10.79·flowmap·-·pack·LUTs·with·FlowMap·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·438
314 10.80·fmcombine·-·combine·two·instances·of·a·cell·into·one·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·437314 10.80·fmcombine·-·combine·two·instances·of·a·cell·into·one·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·439
315 10.81·fminit·-·set·init·values/sequences·for·formal·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·438315 10.81·fminit·-·set·init·values/sequences·for·formal·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·.·440
Max diff block lines reached; 214444/240548 bytes (89.15%) of diff not shown.
Generated by diffoscope 289