User contributions
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)
- 17:58, 22 October 2019 (diff | hist) . . (0) . . How to get all Verilog files being analyzed
- 14:55, 4 October 2019 (diff | hist) . . (+2,118) . . N How to ignore a (not used) parameter/generic in elaboration. (Created page with "'''Q: How do I specify the elaborator to ignore parameter/generic that is not used?''' In RTL or static elaboration, parameterized instances are uniquified. For example, this...") (current)
- 14:37, 4 October 2019 (diff | hist) . . (+144) . . Main Page
- 14:11, 21 August 2019 (diff | hist) . . (+2,642) . . N Getting instances' parameters (Created page with "C++: <nowiki> #include "Map.h" #include "Array.h" #include "veri_file.h" #include "VeriModule.h" #include "VeriExpression.h" #include "VeriId.h" #include "VeriScope.h" #ifd...") (current)
- 14:07, 21 August 2019 (diff | hist) . . (+81) . . Main Page
- 12:21, 14 August 2019 (diff | hist) . . (-27) . . Comment out a line using test-based design modification and parsetree modification (current)
- 13:02, 30 July 2019 (diff | hist) . . (+629) . . Prettyprint all modules in the design hierarchy
- 17:10, 29 July 2019 (diff | hist) . . (-23) . . Prettyprint all modules in the design hierarchy
- 17:08, 29 July 2019 (diff | hist) . . (-1,484) . . Prettyprint all modules in the design hierarchy
- 23:29, 28 July 2019 (diff | hist) . . (-1) . . Prettyprint all modules in the design hierarchy
- 23:28, 28 July 2019 (diff | hist) . . (0) . . Prettyprint all modules in the design hierarchy
- 23:26, 28 July 2019 (diff | hist) . . (-2) . . Prettyprint all modules in the design hierarchy
- 23:25, 28 July 2019 (diff | hist) . . (-14) . . Prettyprint all modules in the design hierarchy
- 23:24, 28 July 2019 (diff | hist) . . (+12) . . Prettyprint all modules in the design hierarchy
- 23:22, 28 July 2019 (diff | hist) . . (+7,879) . . N Prettyprint all modules in the design hierarchy (Created page with "There is an API to prettyprint a module, and there is an API to prettyprint all modules in a library. But there is no single API to prettyprint all modules in the design hier...")
- 23:16, 28 July 2019 (diff | hist) . . (+117) . . Main Page
- 16:19, 22 July 2019 (diff | hist) . . (+9) . . Logic optimization across hierarchy boundaries (current)
- 16:19, 22 July 2019 (diff | hist) . . (+9) . . Logic optimization across hierarchy boundaries
- 16:17, 22 July 2019 (diff | hist) . . (+1,446) . . N Logic optimization across hierarchy boundaries (Created page with "Does Verific support design optimizations such as constant propagation and dead-code elimination across hierarchies? The optimization done during elaboration flow in Verific...")
- 16:15, 22 July 2019 (diff | hist) . . (+142) . . Main Page
- 15:30, 22 July 2019 (diff | hist) . . (+5,335) . . N Comment out a line using test-based design modification and parsetree modification (Created page with "C++: <nowiki> #include <iostream> #include "veri_file.h" #include "VeriModule.h" #include "VeriStatement.h" #include "Array.h" #include "Strings.h" #include "TextBasedDes...")
- 15:29, 22 July 2019 (diff | hist) . . (+104) . . Main Page
- 15:20, 16 July 2019 (diff | hist) . . (+2,194) . . N How to get best support from Verific (Created page with "We here at Verific strive try to provide you with the best customer service. But we need help from you. Please: * Identify your company and your group/business unit. Many of...")
- 15:16, 16 July 2019 (diff | hist) . . (+24) . . Main Page
- 18:14, 4 July 2019 (diff | hist) . . (-2) . . How to make lives easier (current)
- 18:13, 4 July 2019 (diff | hist) . . (+374) . . How to make lives easier
- 17:57, 4 July 2019 (diff | hist) . . (-14) . . How to make lives easier
- 17:57, 4 July 2019 (diff | hist) . . (+10) . . Main Page
- 17:55, 4 July 2019 (diff | hist) . . (+2,450) . . N How to make lives easier (Created page with "We here at Verific strive try to provide you with the best customer service. But we need help from you. Together, we'll make our lives easier. So we request you: * Identify...")
- 17:45, 4 July 2019 (diff | hist) . . (+58) . . Main Page
- 16:21, 4 July 2019 (diff | hist) . . (-5) . . How to get packed dimensions of enum
- 16: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 "...")
- 16:16, 4 July 2019 (diff | hist) . . (+101) . . Main Page
- 21:19, 11 June 2019 (diff | hist) . . (+171) . . How to get all Verilog files being analyzed
- 18:01, 11 June 2019 (diff | hist) . . (-7) . . How to get all Verilog files being analyzed
- 12: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...")
- 12:41, 31 May 2019 (diff | hist) . . (+76) . . Main Page
- 16: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...")
- 15:56, 30 May 2019 (diff | hist) . . (+201) . . Main Page
- 17:25, 9 May 2019 (diff | hist) . . (+30) . . What are the data structures in Verific? (current)
- 17:21, 9 May 2019 (diff | hist) . . (-2) . . What are the data structures in Verific?
- 17:20, 9 May 2019 (diff | hist) . . (-5) . . What are the data structures in Verific?
- 17:19, 9 May 2019 (diff | hist) . . (-42) . . What are the data structures in Verific?
- 17:18, 9 May 2019 (diff | hist) . . (-6) . . What are the data structures in Verific?
- 17:18, 9 May 2019 (diff | hist) . . (-3) . . What are the data structures in Verific?
- 17:17, 9 May 2019 (diff | hist) . . (+1) . . What are the data structures in Verific?
- 17:17, 9 May 2019 (diff | hist) . . (+3) . . What are the data structures in Verific?
- 17:16, 9 May 2019 (diff | hist) . . (-9) . . What are the data structures in Verific?
- 17:15, 9 May 2019 (diff | hist) . . (+3) . . What are the data structures in Verific?
- 17:15, 9 May 2019 (diff | hist) . . (+11) . . What are the data structures in Verific?
- 17:14, 9 May 2019 (diff | hist) . . (+82) . . What are the data structures in Verific?
- 17:11, 9 May 2019 (diff | hist) . . (-2) . . What are the data structures in Verific?
- 17:09, 9 May 2019 (diff | hist) . . (0) . . What are the data structures in Verific?
- 17:08, 9 May 2019 (diff | hist) . . (-1) . . What are the data structures in Verific?
- 12:03, 9 April 2019 (diff | hist) . . (+1,414) . . Retrieve package name for user-defined variable types (current)
- 12:02, 9 April 2019 (diff | hist) . . (0) . . Main Page
- 12:01, 9 April 2019 (diff | hist) . . (+7) . . Main Page
- 12:41, 3 April 2019 (diff | hist) . . (+787) . . Access attributes of ports in parsetree
- 12: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...")
- 12:38, 3 April 2019 (diff | hist) . . (+102) . . Main Page
- 15:20, 7 March 2019 (diff | hist) . . (+3) . . Main Page
- 15:20, 7 March 2019 (diff | hist) . . (+28) . . Main Page
- 16:56, 4 March 2019 (diff | hist) . . (-2) . . Verific data structures
- 16:55, 4 March 2019 (diff | hist) . . (+49) . . Verific data structures
- 16: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...")
- 16:46, 4 March 2019 (diff | hist) . . (+135) . . Main Page
- 16: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"...")
- 16:23, 4 March 2019 (diff | hist) . . (+90) . . Main Page
- 17:17, 1 March 2019 (diff | hist) . . (-1) . . Process -f file and explore the Netlist Database (C++) (current)
- 17:16, 1 March 2019 (diff | hist) . . (+5,263) . . Process -f file and explore the Netlist Database (C++)
- 17: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...")
- 17:14, 1 March 2019 (diff | hist) . . (0) . . Process -f file and explore the Netlist Database (py) (current)
- 17:13, 1 March 2019 (diff | hist) . . (+5) . . Main Page
- 17: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...")
- 17:12, 1 March 2019 (diff | hist) . . (+4) . . Main Page
- 17:12, 1 March 2019 (diff | hist) . . (+131) . . Main Page
- 17: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)
- 17:07, 1 March 2019 (diff | hist) . . (+128) . . Main Page
- 17:05, 1 March 2019 (diff | hist) . . (+21) . . Main Page
- 16:19, 1 March 2019 (diff | hist) . . (-142) . . Main Page
- 16:18, 1 March 2019 (diff | hist) . . (+3,375) . . N Create a Netlist Database from scratch (not from RTL elaboration) (Created page with " <nowiki> #!/usr/bin/perl use strict; push (@INC,"../../../extra_tests/pm"); require "Verific.pm"; # The global Libset is already at the top of the netlist database. # No ne...")
- 16:18, 1 March 2019 (diff | hist) . . (+150) . . Main Page
- 16:14, 1 March 2019 (diff | hist) . . (+2,074) . . N Pretty-print a module and the packages imported by the module (Created page with "C++: <nowiki> #include <iostream> #include <fstream> #include "veri_file.h" #include "VeriModule.h" #include "VeriId.h" #include "VeriScope.h" #include "Set.h" using names...")
- 16:12, 1 March 2019 (diff | hist) . . (+147) . . Main Page
- 16:02, 1 March 2019 (diff | hist) . . (+2,173) . . N Retrieve package name for user-defined variable types (Created page with "C++ source: <nowiki> #include <iostream> #include "veri_file.h" #include "VeriModule.h" #include "VeriVisitor.h" #include "VeriExpression.h" #include "VeriId.h" using name...")
- 15:50, 1 March 2019 (diff | hist) . . (+131) . . Main Page
- 14:08, 1 March 2019 (diff | hist) . . (+1,722) . . N Extract clock enable (Created page with "Here is a small example which will extract clock-enables for every DFF in the design. It uses both CheckDriverFrom() (to check if there is any potential clock-enable) as well...") (current)
- 14:04, 1 March 2019 (diff | hist) . . (+70) . . Main Page
- 13:54, 1 March 2019 (diff | hist) . . (+3,299) . . N Write out an encrypted netlist (Created page with " <nowiki> #include <iostream> #include <cstring> #include "veri_file.h" #include "DataBase.h" #include "VeriWrite.h" #include "Strings.h" #include "Message.h" #include "Pro...") (current)
- 13:51, 1 March 2019 (diff | hist) . . (+70) . . Main Page
- 13:46, 1 March 2019 (diff | hist) . . (+21) . . Main Page
- 13:40, 1 March 2019 (diff | hist) . . (+14) . . Prettyprint to a string (current)
- 16:18, 28 February 2019 (diff | hist) . . (+1) . . Prettyprint to a string
- 16:17, 28 February 2019 (diff | hist) . . (+64) . . Prettyprint to a string
- 14:11, 28 February 2019 (diff | hist) . . (-8) . . Prettyprint to a string
- 14:10, 28 February 2019 (diff | hist) . . (+5) . . Main Page
- 14:09, 28 February 2019 (diff | hist) . . (+145) . . Prettyprint to a string
- 14:07, 28 February 2019 (diff | hist) . . (0) . . Prettyprint to a string
- 11:46, 27 February 2019 (diff | hist) . . (+258) . . Tcl library path
- 16:48, 21 February 2019 (diff | hist) . . (+15) . . Main Page
(newest | oldest) View (newer 100 | older 100) (20 | 50 | 100 | 250 | 500)