module top (input clk, a, b); always @(posedge clk) begin if (a); else assume property (@(posedge clk) b); end `ifndef FAIL assume property (@(posedge clk) !a); `endif assert property (@(posedge clk) b); endmodule kage/lua/ipkg/liblua.control?h=master' type='application/atom+xml'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/package/lua/ipkg/liblua.control
blob: 6e727cbee877f0d2500a99e342317ff1cd53174e (plain) 
1
2
3
4
5
6
7
8
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-22 12:15:50 +0000