MCPcopy Create free account

hub / github.com/YosysHQ/yosys / functions

Functions7,355 in github.com/YosysHQ/yosys

⨍ Functions 7,355◇ Types & classes 1,212↳ Endpoints 6
↓ 4 callersFunctionverific_const
When used as attributes or parameter values Verific constants come already processed. - Real string values are already under quotes - Numeric values w
frontends/verific/verific.cc:387
↓ 4 callersFunctionverific_unescape
frontends/verific/verific.cc:421
↓ 4 callersMethodvisit
kernel/functional.h:323
↓ 4 callersFunctionwidthExtend
helper function for extending bit width (preferred over SigSpec::extend() because of correct undef propagation in ConstEval)
frontends/ast/genrtlil.cc:73
↓ 4 callersFunctionwitness_entries
Parse yosys-smt2-witness JSON records from an SMT2 file.
tests/functional/test_smtbmc_witness_mismatch.py:30
↓ 4 callersMethodwrite_end
backends/cxxrtl/runtime/cxxrtl/cxxrtl_replay.h:329
↓ 4 callersFunctionxorshift128
libs/ezsat/demo_cmp.cc:29
↓ 4 callersFunctionxorshift128
libs/ezsat/demo_vec.cc:29
↓ 4 callersFunctionxorshift128_sat
libs/ezsat/demo_vec.cc:40
↓ 3 callersFunctionBuildBur4e
Booth unsigned radix 4 encoder
passes/techmap/booth.cc:109
↓ 3 callersFunctionBuildHa
half adder, used in CPA
passes/techmap/booth.cc:102
↓ 3 callersFunctionIsRightType
passes/techmap/extract_reduce.cc:59
↓ 3 callersFunctionLZ4_count
libs/fst/lz4.cc:676
↓ 3 callersFunctionLZ4_decompress_safe
libs/fst/lz4.cc:2410
↓ 3 callersFunctionLZ4_read16
libs/fst/lz4.cc:375
↓ 3 callersFunctionMyGetModuleHandleFromAddress
libs/dlfcn-win32/dlfcn.cc:248
↓ 3 callersFunctionSExpr
kernel/sexpr.h:32
↓ 3 callersMethodabsolute
(path, cursor, witness)
backends/smt2/smtio.py:718
↓ 3 callersMethodaccess
backends/functional/smtlib_rosette.cc:113
↓ 3 callersFunctionadd
backends/cxxrtl/cxxrtl_backend.cc:103
↓ 3 callersMethodaddAldff
frontends/verific/verific.cc:2570
↓ 3 callersMethodaddDffsr
frontends/verific/verific.cc:2558
↓ 3 callersMethodaddDlatchGate
kernel/rtlil.cc:4049
↓ 3 callersMethodaddMemory
kernel/rtlil.cc:3203
↓ 3 callersMethodaddVal
kernel/sigtools.h:436
↓ 3 callersMethodadd_arg
frontends/verilog/preproc.cc:242
↓ 3 callersMethodadd_dummy_aload
kernel/ff.cc:427
↓ 3 callersMethodadd_dummy_arst
kernel/ff.cc:418
↓ 3 callersMethodadd_dummy_sr
kernel/ff.cc:436
↓ 3 callersMethodadd_dummy_srst
kernel/ff.cc:408
↓ 3 callersMethodadd_edges_from_cell
passes/cmds/check.cc:229
↓ 3 callersFunctionadd_eq_assertion
passes/equiv/equiv_make.cc:138
↓ 3 callersMethodadd_port
kernel/drivertools.cc:749
↓ 3 callersMethodadder
kernel/cellaigs.cc:227
↓ 3 callersMethodall_selected_whole_modules
returns all selected whole modules, silently ignoring partially selected modules, and may include boxes
kernel/rtlil.h:2033
↓ 3 callersMethodalloc
libs/minisat/Alloc.h:110
↓ 3 callersFunctionappend_globbed
kernel/io.cc:388
↓ 3 callersFunctionapply_attrs
passes/proc/proc_mux.cc:147
↓ 3 callersFunctionarrays_have_compatible_dims
Check if two memories have compatible unpacked dimensions for array assignment
frontends/ast/simplify.cc:289
↓ 3 callersMethodasParaConst
frontends/ast/ast.cc:994
↓ 3 callersMethodas_bottom
passes/techmap/flowmap.cc:276
↓ 3 callersMethodas_top
passes/techmap/flowmap.cc:270
↓ 3 callersFunctionassert_has_mismatch_message
Assert the mismatch error prefix and substring are present.
tests/functional/test_smtbmc_witness_mismatch.py:82
↓ 3 callersMethodat
kernel/hashlib.h:1305
↓ 3 callersFunctionattr_prefix
kernel/scopeinfo.cc:88
↓ 3 callersFunctionbasic_cell_type
Return the "basic" type for an array item.
passes/hierarchy/hierarchy.cc:143
↓ 3 callersMethodbegin_array
kernel/json.cc:91
↓ 3 callersMethodbegin_value
(self)
backends/smt2/ywio.py:75
↓ 3 callersFunctionbmux_test
(width, s_width)
tests/xprop/generate_mk.py:100
↓ 3 callersMethodcapacity
libs/minisat/Vec.h:98
↓ 3 callersMethodcell_port_dir
kernel/celltypes.h:326
↓ 3 callersFunctioncheck_any
passes/opt/opt_clean/wires.cc:164
↓ 3 callersMethodcheck_sat
(self, expected=["sat", "unsat", "unknown", "timeout", "interrupted"])
backends/smt2/smtio.py:796
↓ 3 callersFunctioncheck_signal
passes/proc/proc_arst.cc:28
↓ 3 callersMethodcheck_simple
passes/cmds/sdc/sdc.cc:610
↓ 3 callersFunctionclear_flags
passes/techmap/abc9.cc:184
↓ 3 callersFunctionclear_preset_var
passes/techmap/libparse.cc:865
↓ 3 callersMethodcmd_error
kernel/register.cc:173
↓ 3 callersFunctioncoalesce_signals
(signals, bits=None)
backends/smt2/ywio.py:178
↓ 3 callersFunctioncollect_mem_trace_data
(steps, vcd=None)
backends/smt2/smtbmc.py:973
↓ 3 callersMethodcompact
kernel/json.h:59
↓ 3 callersFunctionconcat_name
passes/hierarchy/flatten.cc:45
↓ 3 callersFunctionconsider_cell
passes/sat/expose.cc:51
↓ 3 callersMethodcontaining_scope
kernel/scopeinfo.h:406
↓ 3 callersFunctioncount_nontrivial_wire_attrs
passes/opt/opt_clean/wires.cc:83
↓ 3 callersMethodcount_range
kernel/mem.cc:1810
↓ 3 callersMethodcreateConstant
libs/subcircuit/subcircuit.cc:210
↓ 3 callersFunctioncxxrtl_port_type
backends/cxxrtl/cxxrtl_backend.cc:246
↓ 3 callersMethoddebug_info
backends/cxxrtl/runtime/cxxrtl/cxxrtl.h:1585
↓ 3 callersFunctiondemux_test
(width, s_width)
tests/xprop/generate_mk.py:103
↓ 3 callersFunctiondlsym
libs/dlfcn-win32/dlfcn.cc:460
↓ 3 callersMethoddo_parent
kernel/scopeinfo.h:121
↓ 3 callersFunctiondump_case_body
backends/verilog/verilog_backend.cc:2203
↓ 3 callersFunctiondump_cell_expr
backends/verilog/verilog_backend.cc:1105
↓ 3 callersFunctiondump_memory
backends/verilog/verilog_backend.cc:477
↓ 3 callersMethoddump_model_to_json
passes/sat/sat.cc:785
↓ 3 callersMethoddump_model_to_vcd
passes/sat/sat.cc:680
↓ 3 callersFunctiondump_proc_switch
backends/verilog/verilog_backend.cc:2221
↓ 3 callersFunctionemit_mux_anyseq
passes/cmds/abstract.cc:84
↓ 3 callersMethodemit_rtlil
kernel/fmt.cc:187
↓ 3 callersMethodemulate_priority
kernel/mem.cc:1107
↓ 3 callersMethodend
kernel/threading.h:394
↓ 3 callersMethodend
kernel/hashlib.h:878
↓ 3 callersMethodend
kernel/newcelltypes.h:31
↓ 3 callersMethodend_array
kernel/json.cc:110
↓ 3 callersMethodend_value
(self)
backends/smt2/ywio.py:85
↓ 3 callersMethodenter
backends/aiger2/aiger.cc:535
↓ 3 callersFunctioneval_mux
passes/opt/opt_muxtree.cc:528
↓ 3 callersFunctioneval_mux_port
passes/opt/opt_muxtree.cc:411
↓ 3 callersFunctionexport_cell
backends/smt2/smt2.cc:540
↓ 3 callersMethodextend
backends/functional/smtlib.cc:168
↓ 3 callersFunctionextract
kernel/sigtools.h:82
↓ 3 callersMethodfile_name
kernel/register.h:45
↓ 3 callersMethodfinal
libs/sha1/sha1.cpp:69
↓ 3 callersFunctionfind
kernel/timinginfo.h:200
↓ 3 callersMethodfirst
kernel/rtlil.h:298
↓ 3 callersMethodforce
kernel/hashlib.h:143
↓ 3 callersFunctionformat_emit_string
kernel/io.cc:579
↓ 3 callersFunctionformat_emit_unescaped
kernel/io.cc:413
↓ 3 callersFunctionfstExtractRvatDataFromFrame
libs/fst/fstapi.cc:5921
← previousnext →1,101–1,200 of 7,355, ranked by callers