40 lines
		
	
	
		
			1.3 KiB
		
	
	
	
		
			Plaintext
		
	
	
		
			Executable File
		
	
	
	
	
			
		
		
	
	
			40 lines
		
	
	
		
			1.3 KiB
		
	
	
	
		
			Plaintext
		
	
	
		
			Executable File
		
	
	
	
	
| #! /usr/bin/vvp
 | |
| :ivl_version "12.0 (stable)";
 | |
| :ivl_delay_selection "TYPICAL";
 | |
| :vpi_time_precision + 0;
 | |
| :vpi_module "/usr/lib64/ivl/system.vpi";
 | |
| :vpi_module "/usr/lib64/ivl/vhdl_sys.vpi";
 | |
| :vpi_module "/usr/lib64/ivl/vhdl_textio.vpi";
 | |
| :vpi_module "/usr/lib64/ivl/v2005_math.vpi";
 | |
| :vpi_module "/usr/lib64/ivl/va_math.vpi";
 | |
| S_0x56122ac89ed0 .scope module, "invGateTB" "invGateTB" 2 1;
 | |
|  .timescale 0 0;
 | |
| v0x56122ac99480_0 .var "A", 0 0;
 | |
| v0x56122ac99520_0 .net "B", 0 0, L_0x56122ac995f0;  1 drivers
 | |
| S_0x56122ac8a060 .scope module, "uut" "invGate" 2 6, 3 1 0, S_0x56122ac89ed0;
 | |
|  .timescale 0 0;
 | |
|     .port_info 0 /INPUT 1 "A";
 | |
|     .port_info 1 /OUTPUT 1 "B";
 | |
| L_0x56122ac995f0 .functor NOT 1, v0x56122ac99480_0, C4<0>, C4<0>, C4<0>;
 | |
| v0x56122ac77570_0 .net "A", 0 0, v0x56122ac99480_0;  1 drivers
 | |
| v0x56122ac99360_0 .net "B", 0 0, L_0x56122ac995f0;  alias, 1 drivers
 | |
|     .scope S_0x56122ac89ed0;
 | |
| T_0 ;
 | |
|     %vpi_call 2 12 "$dumpfile", "invGate.vcd" {0 0 0};
 | |
|     %vpi_call 2 13 "$dumpvars" {0 0 0};
 | |
|     %pushi/vec4 1, 0, 1;
 | |
|     %store/vec4 v0x56122ac99480_0, 0, 1;
 | |
|     %delay 10, 0;
 | |
|     %pushi/vec4 0, 0, 1;
 | |
|     %store/vec4 v0x56122ac99480_0, 0, 1;
 | |
|     %delay 10, 0;
 | |
|     %vpi_call 2 16 "$finish" {0 0 0};
 | |
|     %end;
 | |
|     .thread T_0;
 | |
| # The file index is used to find the file name in the following table.
 | |
| :file_names 4;
 | |
|     "N/A";
 | |
|     "<interactive>";
 | |
|     "invGateTB.v";
 | |
|     "invGate.v";
 |