| CARVIEW |
Select Language
HTTP/2 302
content-type: text/html; charset=utf-8
location: //fmv.jku.at/algeq/
vary: Origin
x-request-id: 01KEYR26MKEB734JHRKHENH32C
content-length: 42
date: Wed, 14 Jan 2026 17:15:13 GMT
HTTP/2 200
accept-ranges: bytes
cache-control: max-age=600
content-type: text/html; charset=utf-8
etag: "6eb996eab52cf1ece84e8bcdf0c9098455aa98f8d4214cdc612732cacd3708a8"
expires: Wed, 14 Jan 2026 18:25:13 CET
last-modified: Thu, 25 Sep 2025 14:38:37 GMT
vary: Origin
x-request-id: 01KEYR26SHBHC6RZCGQ0CWZSBK
content-length: 6202
date: Wed, 14 Jan 2026 17:15:13 GMT
Improving and Extending the Algebraic Approach for Verifying
Gate-Level Multipliers
|
team
|
[ experiments ] Improving and Extending the Algebraic Approach for Verifying Gate-Level MultipliersThis site provides access to an extended set of experimental data, source code, benchmarks and scripts used in our DATE'18 paper. Daniela Ritirc, Armin Biere, Manuel Kauers. Improving
and Extending the Algebraic Approach for Verifying Gate-Level
Multiplies. To appear in Design, Automation and Test in
Europe (DATE'18), IEEE 2018. Experiments[ RitircBiereKauers-DATE18-data.tar.xz ] Beside those benchmarks used in our experiments we also include the AIGs we derived for other multipliers in related work discussed in the paper. |
