Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:28950821n
Noun Named Entity
EN
Yosys
EN
Free and open source software suite for formal verification and creating FPGA bitstream and tools around this task Wikidata
Definitions
Relations
Sources
EN
Free and open source software suite for formal verification and creating FPGA bitstream and tools around this task Wikidata
IS A
free and open-source software
PART OF
field-programmable gate array
COPYRIGHT LICENSE
ISC license
OPERATING SYSTEM
FreeBSD
GNU/Linux
PROGRAMMING LANGUAGE
C++
SUPPORTS PROGRAMMING LANGUAGE
SystemVerilog
Verilog
USE
logic synthesis
formal verification
Wikidata
EN
Yosys

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License