core decoder variant for LZ4_decompress_fast*() * for legacy support only : these entry points are deprecated. * - Presumes input is correctly forme

customized variant of memcpy, which can overwrite up to 8 bytes beyond dstEnd */

Size-operations:

create a (deep recursive) copy of a node use 'other' as target root node

Generate a random double:

create a nice text representation of the node (traverse tree by recursion, use 'other' pointer for diffing two AST trees)

annotate the names of all wires and other named objects in a named generate or procedural block; nested blocks are themselves annotated such that the

Recursively traverses backwards from a cell to find all cells in its input cone Adds cell to cone.cells, stops at cells in 'stop' set Returns true if

* mmap functions */

the node's index. may change if nodes are added or removed

Check if node is an unexpanded array reference (AST_IDENTIFIER -> AST_MEMORY without indexing)

Grab some work to do. If all threads enter `pop_batch()`, then instead of deadlocking the queue will return no work. That is the only case in which it

Try to read an IdString as a numbered connection name ("$123" or similar), writing the result to dst. If the string isn't of the right format, ignore

Run yosys-smtbmc on the SMT2 file with a witness trace.