- Download gist
- Run
eqy -f reproduce_sat.eqy- this should pass - Run
eqy -f reproduce_sby.eqy- this will not pass
This file has been truncated, but you can view the full file.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| // Dump of all post-preprocessor input | |
| // Blank lines and `line directives have been removed | |
| // | |
| // Information: | |
| // Version: Verilator 5.048 2026-04-26 rev v5.048 | |
| // Arguments: --lint-only --top-module tb_axi_xbar --timing -j 10 +define+TARGET_SIMULATION +define+TARGET_SYNTHESIS +define+TARGET_TEST +define+TARGET_VERILATOR /home/mel/build/axi/.bender/git/checkouts/common_verification-5b9bacfe2f79eb87/src/clk_rst_gen.sv /home/mel/build/axi/.bender/git/checkouts/common_verification-5b9bacfe2f79eb87/src/sim_timeout.sv /home/mel/build/axi/.bender/git/checkouts/common_verification-5b9bacfe2f79eb87/src/stream_watchdog.sv /home/mel/build/axi/.bender/git/checkouts/common_verification-5b9bacfe2f79eb87/src/signal_highlighter.sv +define+TARGET_SIMULATION +define+TARGET_SYNTHESIS +define+TARGET_TEST +define+TARGET_VERILATOR /home/mel/build/axi/.bender/git/checkouts/common_verification-5b9bacfe2f79eb87/src/rand_id_queue.sv /home/mel/build/axi/.bender/git/checkouts/common_verification-5b9bacfe2f79eb87/src/rand_stream_ms |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #define SWA IN(3)==1 | |
| #define SWB IN(4)==0 | |
| EIGN(W,0) | |
| ZS | |
| BAUD(0)=57600 | |
| BRKRLS | |
| OFF | |
| s = 1 ' State, 0=Off, 1=On 2=Off Requested | |
| p = PA | |
| r = 20 |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #include "movavg.h" | |
| #include <string.h> | |
| #include <stdio.h> | |
| #include <math.h> | |
| // Simple moving average in C, v1.3 | |
| // Copyright (c) 2019-2020 Matt Young. Licensed into the public domain with the Unlicense. | |
| movavg_t *movavg_create(size_t size){ | |
| movavg_t *movavg = calloc(1, sizeof(movavg_t)); |