User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 09:56, 9 June 2021 (diff | hist) . . (+4,535) . . N How to detect multiple-clock-edge condition in Verilog parsetree (Created page with "Multiple-clock-edge condition is not support for synthesis. For example: always @(posedge clk or negedge clk) out <= in; or in SystemVerilog dialect: always @(ed...")
- 09:43, 9 June 2021 (diff | hist) . . (0) . . Main Page
- 09:41, 9 June 2021 (diff | hist) . . (+151) . . Main Page
- 12:06, 5 May 2021 (diff | hist) . . (+74) . . How to get best support from Verific
- 09:35, 3 May 2021 (diff | hist) . . (-1) . . Remove Verific data structures
- 09:33, 3 May 2021 (diff | hist) . . (-27) . . Remove Verific data structures
- 15:00, 21 April 2021 (diff | hist) . . (+1) . . How Verific elaborator handles blackboxes/unknown boxes (current)
- 10:01, 21 April 2021 (diff | hist) . . (+2,496) . . Simple example of visitor pattern
- 09:58, 21 April 2021 (diff | hist) . . (+1) . . Main Page
- 21:46, 20 April 2021 (diff | hist) . . (0) . . Does Verific support XMR? (current)
- 14:26, 20 April 2021 (diff | hist) . . (+412) . . Pretty-print a module and the packages imported by the module
- 09:08, 20 April 2021 (diff | hist) . . (+128) . . How to get best support from Verific
- 15:11, 19 April 2021 (diff | hist) . . (+1,380) . . Buffering signals and ungrouping (current)
- 15:07, 19 April 2021 (diff | hist) . . (+7,446) . . N Buffering signals and ungrouping (Created page with "During ungrouping (flattening) a hierarchical design, there are nets that need to be merged. The name of the resulting net from the merge will be the name in the highest level...")
- 15:00, 19 April 2021 (diff | hist) . . (+129) . . Main Page
- 10:52, 19 April 2021 (diff | hist) . . (0) . . How to get library containing nested module (current)
- 10:10, 19 April 2021 (diff | hist) . . (+1) . . Main Page
- 10:08, 19 April 2021 (diff | hist) . . (+1,032) . . How to get library containing nested module
- 12:17, 12 April 2021 (diff | hist) . . (+173) . . System attributes
- 12:01, 12 April 2021 (diff | hist) . . (+112) . . System attributes
- 13:17, 8 April 2021 (diff | hist) . . (+5,308) . . N Comment out a line using text 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...") (current)
- 13:16, 8 April 2021 (diff | hist) . . (0) . . Main Page
- 21:43, 30 March 2021 (diff | hist) . . (+12) . . Main Page
- 21:42, 30 March 2021 (diff | hist) . . (+9,705) . . Where in RTL does it get assigned? (current)
- 13:06, 23 March 2021 (diff | hist) . . (+6,453) . . N Where in RTL does it get assigned? (Created page with "This example illustrates how to find where a signal gets assigned in the RTL code. C++: <nowiki> #include <iostream> #include "veri_file.h" #include "VeriModule.h" #include...")
- 13:06, 23 March 2021 (diff | hist) . . (+2) . . Main Page
- 12:22, 23 March 2021 (diff | hist) . . (+6,453) . . N Where in RTL is it get assigned? (Created page with "This example illustrates how to find where a signal gets assigned in the RTL code. C++: <nowiki> #include <iostream> #include "veri_file.h" #include "VeriModule.h" #include...") (current)
- 12:18, 23 March 2021 (diff | hist) . . (+87) . . Main Page
- 16:05, 18 March 2021 (diff | hist) . . (+5) . . How to save computer resources
- 16:05, 18 March 2021 (diff | hist) . . (-1) . . How to save computer resources
- 16:04, 18 March 2021 (diff | hist) . . (+123) . . How to save computer resources
- 16:02, 18 March 2021 (diff | hist) . . (0) . . How to save computer resources
- 15:30, 18 March 2021 (diff | hist) . . (+293) . . How to save computer resources
- 17:35, 16 March 2021 (diff | hist) . . (+31) . . How to get best support from Verific
- 17:23, 16 March 2021 (diff | hist) . . (0) . . How to get best support from Verific
- 17:11, 16 March 2021 (diff | hist) . . (+127) . . How to get best support from Verific
- 17:02, 16 March 2021 (diff | hist) . . (+190) . . Escaped identifiers in RTL files and in Verific data structures
- 16:57, 16 March 2021 (diff | hist) . . (+73) . . Escaped identifiers in RTL files and in Verific data structures
- 14:15, 16 March 2021 (diff | hist) . . (+13) . . Escaped identifiers in RTL files and in Verific data structures
- 13:57, 16 March 2021 (diff | hist) . . (-4) . . Escaped identifiers in RTL files and in Verific data structures
- 13:57, 16 March 2021 (diff | hist) . . (+38) . . Escaped identifiers in RTL files and in Verific data structures
- 09:29, 16 March 2021 (diff | hist) . . (+27) . . Main Page
- 09:19, 16 March 2021 (diff | hist) . . (+201) . . Escaped identifiers in RTL files and in Verific data structures
- 09:17, 16 March 2021 (diff | hist) . . (+423) . . N Escaped identifiers in RTL files and in Verific data structures (Created page with "'''>>> This page is under construction <<<''' '''Verific data structures: ''' No escaped identifier In netlist outputs and in pretty-print outputs, identifiers are escaped b...")
- 09:11, 16 March 2021 (diff | hist) . . (+151) . . Main Page
- 09:08, 16 March 2021 (diff | hist) . . (+31) . . Main Page
- 09:07, 16 March 2021 (diff | hist) . . (+122) . . How to save computer resources
- 18:36, 15 March 2021 (diff | hist) . . (+234) . . How to save computer resources
- 14:47, 15 March 2021 (diff | hist) . . (+1,615) . . How to get linefile data of macros - Macro callback function
- 14:03, 15 March 2021 (diff | hist) . . (+7) . . Main Page
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
