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
↓ 5 callersMethodsdivmod
backends/cxxrtl/runtime/cxxrtl/cxxrtl.h:628
↓ 5 callersFunctionset_formal_flavor
passes/cmds/chformal.cc:47
↓ 5 callersFunctionsetunset_t
passes/cmds/setattr.cc:33
↓ 5 callersMethodsetup_proof
passes/sat/sat.cc:363
↓ 5 callersMethodshr
backends/cxxrtl/runtime/cxxrtl/cxxrtl.h:446
↓ 5 callersMethodsignals_eq
kernel/satgen.h:205
↓ 5 callersMethodsize
kernel/functional.h:254
↓ 5 callersFunctionsmt_pop
()
backends/smt2/smtbmc.py:1790
↓ 5 callersMethodsshr
backends/cxxrtl/runtime/cxxrtl/cxxrtl.h:478
↓ 5 callersMethodsteps
(self, start=0)
backends/smt2/ywio.py:419
↓ 5 callersFunctionstringToTime
passes/sat/sim.cc:70
↓ 5 callersMethodsub
backends/functional/cxx.cc:131
↓ 5 callersMethodsubtract
libs/bigint/BigInteger.cc:203
↓ 5 callersMethodsuggest_name
kernel/functional.h:574
↓ 5 callersFunctiontry_parse_char
frontends/rtlil/rtlil_frontend.cc:136
↓ 5 callersMethodudivmod
backends/cxxrtl/runtime/cxxrtl/cxxrtl.h:609
↓ 5 callersFunctionuniop2rtlil
helper function for creating RTLIL code for unary operations
frontends/ast/genrtlil.cc:46
↓ 5 callersMethodunparse
(self, stmt)
tests/functional/smtio.py:927
↓ 5 callersMethodupdate
passes/cmds/viz.cc:223
↓ 5 callersFunctionusage
()
backends/smt2/smtbmc.py:204
↓ 5 callersMethoduserCompareNodes
libs/subcircuit/subcircuit.cc:1610
↓ 5 callersMethodvec_ge_unsigned
libs/ezsat/ezsat.cc:977
↓ 5 callersMethodvec_iff
libs/ezsat/ezsat.cc:773
↓ 5 callersMethodvec_set
libs/ezsat/ezsat.cc:1186
↓ 5 callersMethodvisit
backends/aiger2/aiger.cc:600
↓ 5 callersMethodvlog_str
passes/techmap/libparse.cc:386
↓ 5 callersMethodwait
kernel/threading.h:32
↓ 5 callersMethodwrite_change
backends/cxxrtl/runtime/cxxrtl/cxxrtl_replay.h:300
↓ 5 callersFunctionwrite_smt2
Write Verilog to temp and emit SMT2 via yosys.
tests/functional/test_smtbmc_witness_mismatch.py:20
↓ 5 callersMethodwrite_to_file
kernel/json.cc:44
↓ 5 callersFunctionwrite_yw
Write a minimal Yosys witness file with one step of bits.
tests/functional/test_smtbmc_witness_mismatch.py:51
↓ 5 callersFunctionyosys_setup
kernel/yosys.cc:235
↓ 5 callersFunctionyosys_shutdown
kernel/yosys.cc:274
↓ 5 callersFunctionzinit
passes/sat/sim.cc:145
↓ 4 callersFunctionBur4d_n
Booth unsigned radix4 decoder
passes/techmap/booth.cc:84
↓ 4 callersFunctionFOREACH_ARRAY_ITEM
frontends/verific/verific.cc:2991
↓ 4 callersFunctionLZ4_compress_fast_extState
libs/fst/lz4.cc:1379
↓ 4 callersFunctionLZ4_getIndexOnHash
LZ4_getIndexOnHash() : * Index of match position registered in hash table. * hash position must be calculated by using base+index, or dictBase+index
libs/fst/lz4.cc:850
↓ 4 callersFunctionLZ4_initStream
libs/fst/lz4.cc:1549
↓ 4 callersFunctionLZ4_putPositionOnHash
LZ4_putPosition*() : only used in byPtr mode */
libs/fst/lz4.cc:830
↓ 4 callersFunctionLZ4_readLE16
libs/fst/lz4.cc:427
↓ 4 callersFunctionLZ4_write32
libs/fst/lz4.cc:380
↓ 4 callersFunctionMyEnumProcessModules
Load Psapi.dll at runtime, this avoids linking caveat */
libs/dlfcn-win32/dlfcn.cc:287
↓ 4 callersFunctionMySetErrorMode
libs/dlfcn-win32/dlfcn.cc:219
↓ 4 callersMethodaccess
backends/functional/smtlib.cc:107
↓ 4 callersMethodaddCompatibleTypes
libs/subcircuit/subcircuit.cc:1650
↓ 4 callersMethodaddDffGate
kernel/rtlil.cc:3911
↓ 4 callersMethodaddDffe
kernel/rtlil.cc:3676
↓ 4 callersFunctionadd_content
kernel/log_help.h:48
↓ 4 callersFunctionadd_imprecise_GLIFT_logic_3
passes/cmds/glift.cc:98
↓ 4 callersMethodadd_node
backends/cxxrtl/cxxrtl_backend.cc:387
↓ 4 callersFunctionadd_test
(name, src, seq=False)
tests/xprop/generate_mk.py:30
↓ 4 callersFunctionadd_wire
passes/cmds/add.cc:61
↓ 4 callersMethodaddr_width
returns the address width of a bitvector sort, errors out for other sorts
kernel/functional.h:150
↓ 4 callersMethodaload_to_sr
kernel/ff.cc:482
↓ 4 callersFunctionapply_reset
passes/proc/proc_arst.cc:156
↓ 4 callersMethodarst_to_aload
kernel/ff.cc:455
↓ 4 callersMethodarst_to_sr
kernel/ff.cc:465
↓ 4 callersMethodas_idstring_pair
kernel/functional.h:226
↓ 4 callersMethodassign_key
kernel/compute_graph.h:166
↓ 4 callersMethodauto_x
passes/cmds/xprop.cc:60
↓ 4 callersMethodbegin
kernel/threading.h:393
↓ 4 callersFunctionbindec
http://svn.clairexen.net/handicraft/2016/bindec/bindec.c
passes/techmap/extract_fa.cc:37
↓ 4 callersMethodbit_and
backends/cxxrtl/runtime/cxxrtl/cxxrtl.h:396
↓ 4 callersFunctionbit_in_port
Sign/Zero-extended indexing of individual port bits
passes/sat/formalff.cc:56
↓ 4 callersMethodbit_xor
backends/cxxrtl/runtime/cxxrtl/cxxrtl.h:410
↓ 4 callersMethodbuffered_data
passes/techmap/libparse.h:120
↓ 4 callersMethodbv2bin
(self, v)
tests/functional/smtio.py:946
↓ 4 callersMethodbv2int
(self, v)
backends/smt2/smtio.py:959
↓ 4 callersFunctioncellname
backends/verilog/verilog_backend.cc:988
↓ 4 callersFunctioncheck_logfile
passes/cmds/bugpoint.cc:149
↓ 4 callersFunctionclean_design
passes/cmds/bugpoint.cc:179
↓ 4 callersFunctionclean_undef
passes/memory/memory_libmap.cc:1600
↓ 4 callersMethodclear
kernel/hashlib.h:874
↓ 4 callersMethodclear
kernel/drivertools.h:1037
↓ 4 callersFunctioncollect_chunks
Joins contiguous runs of bits into a 'Chunk'
passes/cmds/wrapcell.cc:112
↓ 4 callersMethodconcat
kernel/functional.h:487
↓ 4 callersFunctionconsider_wire
passes/sat/expose.cc:42
↓ 4 callersMethodcontains
kernel/newcelltypes.h:32
↓ 4 callersFunctioncount
kernel/timinginfo.h:202
↓ 4 callersFunctioncreate_prompt
kernel/yosys.cc:359
↓ 4 callersMethodctlz
backends/cxxrtl/runtime/cxxrtl/cxxrtl.h:534
↓ 4 callersFunctioncxx_const
backends/functional/cxx.cc:102
↓ 4 callersMethoddata_width
returns the data width of a bitvector sort, errors out for other sorts
kernel/functional.h:152
↓ 4 callersMethoddetectSignWidthWorker
detect sign and width of an expression
frontends/ast/genrtlil.cc:1046
↓ 4 callersFunctiondff_test
(width, pol, defclock)
tests/xprop/generate_mk.py:118
↓ 4 callersMethoddo_lookup_no_rehash
kernel/hashlib.h:530
↓ 4 callersFunctiondo_setunset
passes/cmds/setattr.cc:48
↓ 4 callersMethoddriverPort
kernel/rtlil.h:2454
↓ 4 callersFunctiondump_cell_expr_print
backends/verilog/verilog_backend.cc:1046
↓ 4 callersFunctiondump_module
backends/verilog/verilog_backend.cc:2364
↓ 4 callersFunctionempty
kernel/bitpattern.h:203
↓ 4 callersMethodend_trace
(self)
backends/smt2/ywio.py:365
↓ 4 callersFunctionescape_path_segment
(segment)
backends/smt2/smtbmc.py:1485
↓ 4 callersMethodeval
libs/ezsat/ezsat.cc:312
↓ 4 callersFunctionevent2vl
passes/techmap/libparse.cc:841
↓ 4 callersFunctionexplain_selections
passes/cmds/abstract.cc:156
↓ 4 callersMethodextract_rdff
kernel/mem.cc:884
↓ 4 callersMethodfind_containers
( containers: Iterable[str], type_info: Any )
pyosys/generator.py:389
↓ 4 callersFunctionfind_entry
Return the first witness entry of the given type.
tests/functional/test_smtbmc_witness_mismatch.py:43
← previousnext →901–1,000 of 7,355, ranked by callers