User contributions
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 11:44, 2 May 2022 (diff | hist) . . (+5) . . Parse select modules only and ignore the rest
- 11:44, 2 May 2022 (diff | hist) . . (+35) . . Parse select modules only and ignore the rest
- 11:39, 2 May 2022 (diff | hist) . . (+145) . . Parse select modules only and ignore the rest
- 11:33, 2 May 2022 (diff | hist) . . (+2,799) . . N Parse select modules only and ignore the rest (Created page with "There is no API to parse only a subset of modules of a design that contains many modules. However, this can be accomplished through Verific's processing of v-files. Below i...")
- 11:00, 2 May 2022 (diff | hist) . . (+113) . . Main Page
- 11:26, 1 April 2022 (diff | hist) . . (+44) . . Main Page
- 11:25, 1 April 2022 (diff | hist) . . (+5) . . Main Page
- 11:24, 1 April 2022 (diff | hist) . . (0) . . Preserving nets (Redirected page to Preserving user nets - preventing nets from being optimized away) (current)
- 11:20, 1 April 2022 (diff | hist) . . (-5) . . Main Page
- 11:20, 1 April 2022 (diff | hist) . . (+5) . . Main Page
- 11:17, 1 April 2022 (diff | hist) . . (+4) . . Preserving user nets - preventing nets from being optimized away (current)
- 11:16, 1 April 2022 (diff | hist) . . (0) . . m Preserving user nets - preventing nets from being optimized away (Vince moved page Preserving user nets --preventing nets from being optimized away to Preserving user nets - preventing nets from being optimized away)
- 11:16, 1 April 2022 (diff | hist) . . (+78) . . N Preserving user nets --preventing nets from being optimized away (Vince moved page Preserving user nets --preventing nets from being optimized away to Preserving user nets - preventing nets from being optimized away) (current)
- 11:16, 1 April 2022 (diff | hist) . . (+4) . . Main Page
- 11:13, 1 April 2022 (diff | hist) . . (0) . . m Preserving user nets - preventing nets from being optimized away (Vince moved page Preserving nets to Preserving user nets --preventing nets from being optimized away: rename for clarify)
- 11:13, 1 April 2022 (diff | hist) . . (+78) . . N Preserving nets (Vince moved page Preserving nets to Preserving user nets --preventing nets from being optimized away: rename for clarify)
- 11:12, 1 April 2022 (diff | hist) . . (-53) . . Main Page (Undo revision 764 by Vince (talk))
- 11:10, 1 April 2022 (diff | hist) . . (+53) . . Main Page
- 11:07, 1 April 2022 (diff | hist) . . (+2,211) . . N Preserving user nets - preventing nets from being optimized away (Created page with "'''Q: How do I preserve user-declared nets so that they don't get optimized away? I would like to see them written out to the netlist file.''' There are two approaches : * gl...")
- 10:38, 1 April 2022 (diff | hist) . . (+85) . . Main Page
- 08:44, 11 February 2022 (diff | hist) . . (+122) . . How to save computer resources
- 10:51, 3 November 2021 (diff | hist) . . (+571) . . Black box, empty box, and unknown box
- 08:57, 20 October 2021 (diff | hist) . . (+1) . . m How to get all Verilog files being analyzed (current)
- 13:28, 11 October 2021 (diff | hist) . . (-1) . . Source code customization & Stable release services
- 16:37, 8 October 2021 (diff | hist) . . (+855) . . Source code customization & Stable release services
- 18:53, 12 August 2021 (diff | hist) . . (+97) . . Main Page
- 18:40, 12 August 2021 (diff | hist) . . (+3,941) . . N How to get driving net of an instance (Created page with "C++: <nowiki> #include "Strings.h" #include "Array.h" #include "Message.h" #include "veri_nl_file.h" #include "DataBase.h" #include "VeriWrite.h" #ifdef VERIFIC_NAMESPACE us...") (current)
- 21:20, 29 July 2021 (diff | hist) . . (0) . . m Message handling
- 13:49, 28 July 2021 (diff | hist) . . (+3) . . m Traverse instances in parsetree
- 10:46, 27 April 2021 (diff | hist) . . (+11) . . m Tcl library path (current)
- 20:34, 18 April 2021 (diff | hist) . . (+2) . . Fanout cone and grouping (current)
- 12:02, 8 April 2021 (diff | hist) . . (0) . . Visiting Hierarchical References (VeriSelectedName) (current)
- 13:56, 23 March 2021 (diff | hist) . . (+2) . . Main Page
- 19:03, 16 March 2021 (diff | hist) . . (+68) . . m Escaped identifiers in RTL files and in Verific data structures
- 23:22, 10 March 2021 (diff | hist) . . (-2) . . How to save computer resources
- 17:35, 10 March 2021 (diff | hist) . . (+94) . . How to save computer resources
- 16:53, 7 January 2021 (diff | hist) . . (0) . . m Difference between RTL and gate-level simulations - Flipflop with async set and async reset
- 16:51, 7 January 2021 (diff | hist) . . (0) . . m Difference between RTL and gate-level simulations - Flipflop with async set and async reset
- 18:33, 30 November 2020 (diff | hist) . . (0) . . How to parse a string
- 16:31, 7 October 2020 (diff | hist) . . (+54) . . LineFile data from input files
- 09:11, 1 October 2020 (diff | hist) . . (+4) . . Black box, empty box, and unknown box
- 17:35, 11 August 2020 (diff | hist) . . (0) . . m Main Page
- 08:17, 24 July 2020 (diff | hist) . . (0) . . How to get type/initial value of parameters
- 16:37, 20 July 2020 (diff | hist) . . (+416) . . How to parse a string
- 16:40, 13 May 2020 (diff | hist) . . (+31) . . Verilog/C++: How to use IsUserDeclared() : Example for port associations (current)
- 16:34, 13 May 2020 (diff | hist) . . (+7) . . Verilog/C++: How to use IsUserDeclared() : Example for port associations
- 16:28, 13 May 2020 (diff | hist) . . (+869) . . Verilog/C++: How to use IsUserDeclared() : Example for port associations
- 16:26, 13 May 2020 (diff | hist) . . (+220) . . Verilog/C++: How to use IsUserDeclared() : Example for port associations
- 16:24, 13 May 2020 (diff | hist) . . (+5,351) . . Verilog/C++: How to use IsUserDeclared() : Example for port associations
- 16:22, 13 May 2020 (diff | hist) . . (+1,768) . . N Verilog/C++: How to use IsUserDeclared() : Example for port associations (Created page with "Verific objects that are derived from DesignObj can be checked for Linefile information using IsUserDeclared(). If the derived object, such as a port, instance, or netlist con...")
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)