mirror of
https://github.com/YosysHQ/yosys
synced 2025-07-13 07:56:40 +00:00
The only functionality of this code at the moment is to accept correct specify syntax and ignore it. No part of the specify block is added to the AST
31 lines
347 B
Coq
31 lines
347 B
Coq
module test_specify;
|
|
|
|
specparam a=1;
|
|
|
|
specify
|
|
endspecify
|
|
|
|
specify
|
|
(A => B) = ( 1 ) ;
|
|
(A- => B) = ( 1,2 ) ;
|
|
(A+ => B) = ( 1,2,3 ) ;
|
|
(A => B) = (
|
|
1.1, 2, 3,
|
|
4, 5.5, 6.6
|
|
) ;
|
|
(A => B) = (
|
|
1.1, 2, 3,
|
|
4, 5.5, 6.6 ,
|
|
7.7, 8.8, 9,
|
|
10.1, 11, 12
|
|
) ;
|
|
specparam a=1;
|
|
specparam [1:2] asasa=1;
|
|
endspecify
|
|
|
|
specify
|
|
specparam a=1:2:3;
|
|
endspecify
|
|
|
|
endmodule
|
|
|