blob: 6e11c64ece63647ecba212af36ad7f8416c25bdb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
circuit Printf :
module Printf :
input clk : Clock
input reset : UInt<1>
reg count : UInt<10>, clk with :
reset => (reset, UInt<6>(0))
reg const : UInt<32> clk with :
reset => (reset, UInt(123456))
node notReset = not(reset)
count <= add(count, UInt(1))
printf(clk, notReset, "\tcount = %d 0x%x b%b\\\'%d%%\'\n", count, count, count, const)
when eq(count, UInt(255)) :
stop(clk, UInt(1), 0)
|