2006-08-26 11:35:28 +00:00
|
|
|
`line 1 "t/t_preproc_psl.v" 1
|
2011-01-11 23:46:21 +00:00
|
|
|
|
2006-08-26 11:35:28 +00:00
|
|
|
|
|
|
|
|
2011-01-11 23:46:21 +00:00
|
|
|
`line 4 "t/t_preproc_psl.v" 0
|
|
|
|
|
|
|
|
|
2006-08-26 11:35:28 +00:00
|
|
|
|
2010-07-10 22:30:16 +00:00
|
|
|
`line 7 "t/t_preproc_psl.v" 0
|
2011-01-11 23:46:21 +00:00
|
|
|
/*verilator metacomment preserved*/
|
|
|
|
|
|
|
|
/*verilator metacomment also_preserved*/
|
2006-08-26 11:35:28 +00:00
|
|
|
|
2010-07-10 22:30:16 +00:00
|
|
|
`line 11 "t/t_preproc_psl.v" 0
|
2006-08-26 11:35:28 +00:00
|
|
|
Hello in t_preproc_psl.v
|
2011-01-11 23:46:21 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2006-08-26 11:35:28 +00:00
|
|
|
|
2010-07-10 22:30:16 +00:00
|
|
|
`line 17 "t/t_preproc_psl.v" 0
|
2011-01-11 23:46:21 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2006-08-26 11:35:28 +00:00
|
|
|
|
|
|
|
|
2010-07-10 22:30:16 +00:00
|
|
|
`line 28 "t/t_preproc_psl.v" 0
|
2006-08-26 11:35:28 +00:00
|
|
|
|
2010-07-10 22:30:16 +00:00
|
|
|
`line 28 "t/t_preproc_psl.v" 0
|
2006-08-26 11:35:28 +00:00
|
|
|
|
2010-07-10 22:30:16 +00:00
|
|
|
`line 28 "t/t_preproc_psl.v" 0
|
2006-08-26 11:35:28 +00:00
|
|
|
|
2010-07-10 22:30:16 +00:00
|
|
|
`line 28 "t/t_preproc_psl.v" 0
|
2006-08-26 11:35:28 +00:00
|
|
|
|
2011-01-11 23:46:21 +00:00
|
|
|
`line 28 "t/t_preproc_psl.v" 0
|
|
|
|
|
2006-08-26 11:35:28 +00:00
|
|
|
29
|
|
|
|
|
2010-07-10 22:30:16 +00:00
|
|
|
`line 31 "t/t_preproc_psl.v" 0
|
2011-01-11 23:46:21 +00:00
|
|
|
|
|
|
|
|
2006-08-26 11:35:28 +00:00
|
|
|
|
|
|
|
|
2010-07-10 22:30:16 +00:00
|
|
|
`line 40 "t/t_preproc_psl.v" 0
|
2006-08-26 11:35:28 +00:00
|
|
|
|
2010-07-10 22:30:16 +00:00
|
|
|
`line 40 "t/t_preproc_psl.v" 0
|
2006-08-26 11:35:28 +00:00
|
|
|
|
2010-07-10 22:30:16 +00:00
|
|
|
`line 40 "t/t_preproc_psl.v" 0
|
2006-08-26 11:35:28 +00:00
|
|
|
|
2010-07-10 22:30:16 +00:00
|
|
|
`line 40 "t/t_preproc_psl.v" 0
|
2006-08-26 11:35:28 +00:00
|
|
|
|
2010-07-10 22:30:16 +00:00
|
|
|
`line 40 "t/t_preproc_psl.v" 0
|
2006-08-26 11:35:28 +00:00
|
|
|
|
2011-01-11 23:46:21 +00:00
|
|
|
`line 40 "t/t_preproc_psl.v" 0
|
|
|
|
|
2006-08-26 11:35:28 +00:00
|
|
|
41
|
|
|
|
|
2010-07-10 22:30:16 +00:00
|
|
|
`line 43 "t/t_preproc_psl.v" 0
|
2011-01-11 23:46:21 +00:00
|
|
|
|
2006-08-26 11:35:28 +00:00
|
|
|
|
2010-07-10 22:30:16 +00:00
|
|
|
`line 45 "t/t_preproc_psl.v" 0
|
2011-01-11 23:46:21 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
2006-08-26 11:35:28 +00:00
|
|
|
|
2011-01-11 23:46:21 +00:00
|
|
|
`line 49 "t/t_preproc_psl.v" 0
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2006-08-26 11:35:28 +00:00
|
|
|
|
2011-01-11 23:46:21 +00:00
|
|
|
`line 55 "t/t_preproc_psl.v" 0
|
|
|
|
|
2006-08-26 11:35:28 +00:00
|
|
|
|
2010-07-10 22:30:16 +00:00
|
|
|
`line 57 "t/t_preproc_psl.v" 0
|
2006-08-26 11:35:28 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2011-01-11 23:46:21 +00:00
|
|
|
`line 61 "t/t_preproc_psl.v" 0
|
2006-08-26 11:35:28 +00:00
|
|
|
|
2011-01-11 23:46:21 +00:00
|
|
|
|
|
|
|
|
2006-08-26 11:35:28 +00:00
|
|
|
|
2010-07-10 22:30:16 +00:00
|
|
|
`line 65 "t/t_preproc_psl.v" 0
|
2006-08-26 11:35:28 +00:00
|
|
|
|
|
|
|
`psl
|
|
|
|
psl assert always sig!=90;
|
|
|
|
`verilog
|
|
|
|
|
|
|
|
|
2011-01-11 23:46:21 +00:00
|
|
|
`line 71 "t/t_preproc_psl.v" 0
|
|
|
|
|
2006-08-26 11:35:28 +00:00
|
|
|
72
|
2010-07-10 22:30:16 +00:00
|
|
|
|
|
|
|
`line 74 "t/t_preproc_psl.v" 2
|