User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 15:21, 4 July 2019 (diff | hist) . . (-5) . . How to get packed dimensions of enum
- 15:20, 4 July 2019 (diff | hist) . . (+5,511) . . N How to get packed dimensions of enum (Created page with "C++: <nowiki> #include "Map.h" // Make associated hash table class Map available #include "Set.h" // Make associated hash table class Set available #include "...")
- 15:16, 4 July 2019 (diff | hist) . . (+101) . . Main Page
- 20:19, 11 June 2019 (diff | hist) . . (+171) . . How to get all Verilog files being analyzed
- 17:01, 11 June 2019 (diff | hist) . . (-7) . . How to get all Verilog files being analyzed
- 11:53, 31 May 2019 (diff | hist) . . (+2,000) . . N Static elaboration (Created page with "'''Q: What does 'static elaboration' do?''' Static elaboration runs after analysis. It modifies the parsetree. During static elaboration: * Identify top-level modules and tr...")
- 11:41, 31 May 2019 (diff | hist) . . (+76) . . Main Page
- 15:03, 30 May 2019 (diff | hist) . . (+1,297) . . N Modules/design units with " default" suffix in their names (Created page with "'''Q: After static elaboration, there are modules/design units with "_default" suffix in their names. Why? And what are they? ''' Static elaboration process is a multiple-ite...")
- 14:56, 30 May 2019 (diff | hist) . . (+201) . . Main Page
- 16:25, 9 May 2019 (diff | hist) . . (+30) . . What are the data structures in Verific? (current)
- 16:21, 9 May 2019 (diff | hist) . . (-2) . . What are the data structures in Verific?
- 16:20, 9 May 2019 (diff | hist) . . (-5) . . What are the data structures in Verific?
- 16:19, 9 May 2019 (diff | hist) . . (-42) . . What are the data structures in Verific?
- 16:18, 9 May 2019 (diff | hist) . . (-6) . . What are the data structures in Verific?
- 16:18, 9 May 2019 (diff | hist) . . (-3) . . What are the data structures in Verific?
- 16:17, 9 May 2019 (diff | hist) . . (+1) . . What are the data structures in Verific?
- 16:17, 9 May 2019 (diff | hist) . . (+3) . . What are the data structures in Verific?
- 16:16, 9 May 2019 (diff | hist) . . (-9) . . What are the data structures in Verific?
- 16:15, 9 May 2019 (diff | hist) . . (+3) . . What are the data structures in Verific?
- 16:15, 9 May 2019 (diff | hist) . . (+11) . . What are the data structures in Verific?
- 16:14, 9 May 2019 (diff | hist) . . (+82) . . What are the data structures in Verific?
- 16:11, 9 May 2019 (diff | hist) . . (-2) . . What are the data structures in Verific?
- 16:09, 9 May 2019 (diff | hist) . . (0) . . What are the data structures in Verific?
- 16:08, 9 May 2019 (diff | hist) . . (-1) . . What are the data structures in Verific?
- 11:03, 9 April 2019 (diff | hist) . . (+1,414) . . Retrieve package name for user-defined variable types (current)
- 11:02, 9 April 2019 (diff | hist) . . (0) . . Main Page
- 11:01, 9 April 2019 (diff | hist) . . (+7) . . Main Page
- 11:41, 3 April 2019 (diff | hist) . . (+787) . . Access attributes of ports in parsetree
- 11:39, 3 April 2019 (diff | hist) . . (+1,864) . . N Access attributes of ports in parsetree (Created page with " <nowiki> #!/usr/bin/perl use strict ; push(@INC, "../pm") ; require "Verific.pm" ; if (!Verific::veri_file::Read("test.v")) { exit 1 ; } my $mod = Verific::veri_file::Get...")
- 11:38, 3 April 2019 (diff | hist) . . (+102) . . Main Page
- 14:20, 7 March 2019 (diff | hist) . . (+3) . . Main Page
- 14:20, 7 March 2019 (diff | hist) . . (+28) . . Main Page
- 15:56, 4 March 2019 (diff | hist) . . (-2) . . Verific data structures
- 15:55, 4 March 2019 (diff | hist) . . (+49) . . Verific data structures
- 15:48, 4 March 2019 (diff | hist) . . (+2,846) . . N Statically elaborate with different values of parameters (Created page with "C++: <nowiki> #include "VeriCopy.h" // Make class VeriMapForCopy available #include "Map.h" // Make class Map available #include "Message.h" // Make m...")
- 15:46, 4 March 2019 (diff | hist) . . (+135) . . Main Page
- 15:25, 4 March 2019 (diff | hist) . . (+6,710) . . N Traverse instances in parsetree (Created page with "C++: <nowiki> // Verific utilities #include "Array.h" // Make class Array available #include "Set.h" // Make class Set available #include "Message.h"...")
- 15:23, 4 March 2019 (diff | hist) . . (+90) . . Main Page
- 16:17, 1 March 2019 (diff | hist) . . (-1) . . Process -f file and explore the Netlist Database (C++) (current)
- 16:16, 1 March 2019 (diff | hist) . . (+5,263) . . Process -f file and explore the Netlist Database (C++)
- 16:15, 1 March 2019 (diff | hist) . . (+1,579) . . N Process -f file and explore the Netlist Database (C++) (Created page with " <nowiki> #include <iostream> #include <fstream> #include "veri_file.h" #include "VeriModule.h" #include "VeriId.h" #include "VeriScope.h" #include "Set.h" using namespace...")
- 16:14, 1 March 2019 (diff | hist) . . (0) . . Process -f file and explore the Netlist Database (py) (current)
- 16:13, 1 March 2019 (diff | hist) . . (+5) . . Main Page
- 16:13, 1 March 2019 (diff | hist) . . (+4,987) . . N Process -f file and explore the Netlist Database (py) (Created page with " <nowiki> #!/usr/bin/python import sys import re sys.path.append('../../../pythonmain/install') import Verific def Accumulate(netlist,done): if not netlist: retu...")
- 16:12, 1 March 2019 (diff | hist) . . (+4) . . Main Page
- 16:12, 1 March 2019 (diff | hist) . . (+131) . . Main Page
- 16:08, 1 March 2019 (diff | hist) . . (+6,847) . . N Process -f file and explore the Netlist Database (Created page with "C++: <nowiki> #include "Map.h" // Make associated hash table class Map available #include "Array.h" // Make associated hash table class Array available #include...") (current)
- 16:07, 1 March 2019 (diff | hist) . . (+128) . . Main Page
- 16:05, 1 March 2019 (diff | hist) . . (+21) . . Main Page
- 15:19, 1 March 2019 (diff | hist) . . (-142) . . Main Page
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
