blob: 2501788c05fb1303953a53f4680d07daedd19834 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
default Order dec
$include <vector_dec.sail>
val print = "print_endline" : string -> unit
val test : bits(8) -> unit
function test 0b00 @ 0xF @ 0b00 = print("0b00111100")
and test 0b0 @ _ : bits(5) @ 0b1 @ [bitzero] = print ("0b0_____10")
and test 0b0 @ _ : bits(5) @ 0b1 @ [_] = print("0b0_____1_")
and test 0b0 @ _ : bits(5) @ 0b1 @ [bitone] = print ("0b0_____11")
and test _ = print("wildcard")
val main : unit -> unit
function main () = {
test(0b00111100);
test(0b01111111);
test(0b01111110);
}
|
