11/30/2020 0 Comments Bluespec Compiler
Teaching and tutorials can become found in the BSVlang database.This is certainly a compiler, simulator, and linked equipment for BluespecHigh Level Hardware Design Vocabulary (HL-HDL), helping the twooptional syntaxes, BSV and BH.Language specifications andtutorials are available in the BSVlang repository.
Bluespec Compiler Download BSC DirectoriesThis respository contains: Resource code for building the primary compiler ( bsc ) With top finishes for BSV and BH syntax With back ends for Verilog and Bluesim (D simulation) Source program code for á BSC-aware TcITk covering ( bluetcl and bluewish ) With commands to download BSC directories, for querying source code and elaborated designs With instructions for loading and working Bluesim simulations Regular Bluespec libraries Smoke check Utilities such as BSV-modés for emacsgvimjedit Even more will become made accessible in the future (possibly here or in a cousin repo),such as: Check suite Records (User Guide) Extra libraries We accepted your feedback, issue reviews, and pull requests.
Downloading it pre-built BSC equipment Pre-built deals will be available for download under the Deals tab. How to construct the BSC equipment The supply program code for BSC facilitates developing on Linux ánd MacOS.It máy compile for some other tastes of Unix, but most likely will needadditional ifelse obstructions in resource program code or Makefiles. ![]() Bluespec Compiler Install The HaskellInstall the HaskeIl compiler (GHC) Yóu will need the standard Haskell compiler ghc which is availablefor Linux, MacOS and Home windows, along with some extra Haskell your local library.These are usually obtainable as regular deals in many Linux distributions.For illustration, on Debian and Ubuntu systems, you can state: apt-get instaIl ghc apt-gét install libghc-regex-compat-dev libghc-syb-dev libghc-old-time-dev The second order will install the Haskell your local library regex-cómpat, syb, and oId-time, simply because nicely as some libraries that they depend on. You can perform the similar package-install ón otherLinux distributions making use of their native package systems, and useMacports on Apple company OS X. Bluespec Compiler Full Details CanFull details can end up being found at haskell.org. On some systems, you mayneed to use the cabal command to install Haskell libraries: apt-get instaIl cabal-install cabaI install regex-cómpat syb old-timé The edition of GHC should not really matter, since the resource code has beenwritten with extensive preprocessor macros, to help nearly everyminor release since mainly because far back again as 6.12 and previous. BSC creates withthe latest edition at the time of this writing, which can be 8.8.2. Additional requirements For creating the Bluespec TclTk cover, you will need the fontconfigand Xft your local library: apt-get instaIl libfontconfig1-dev Iibx11-dev libxft-dev Building BSC also requires standard Unix system and Makefile resources. The database for the Yicés SMT Solver is cloned as a submodule of this database. Building the BSCtools wiIl recurse intó this directory site and create the Yices libraryfor back linking into BSC and Bluetcl. Yices may possess its very own specifications.Yices currently requires the gperf perfect hashing collection to compile: apt-get install gperf Building the BSC tools will also recurse into a directory website for the STPSMT solver. This is certainly presently an old snapshot of the STP supply code,including the code for different libraries that it uses. In the future,this may be changed with a submodule instantiation of the repositoryfor the STP SMT solver. When thathappens, extra needs from that database will be included.The current snapshot requires Perl, to generate two supply files.It furthermore needs flex and bison: ápt-get install flex bison Obtain the database Clone this repository by running: git duplicate --recursive That will replicated this respository ánd all of thé submodules that itdépends on.If yóu have cloned the repository without the récursive flag,you cán setup the submoduIes later on with a individual command word: git duplicate git submodule revise --init --recursive Maké the BSC tools At the top listing of the repository, you can give the subsequent control: create This will develop a listing called inst containing an installationof the BSC tools. This inst website directory can later on be moved to anotherlocation; the tools do not hard-code the install area. If you desire, you can set up into another location by assigning thevariabIe PREFIX in thé atmosphere: make PREFIXtoolsbluespec Smoke cigarettes check A cursory check is provided to assure that the BSC equipment are installedand can become run. The check runs BSC to put together a fundamental style intoboth Verilog ánd Bluesim simulations ánd after that checks that thosesimulations run and create the anticipated output. ![]() ![]() To operate the BSC tools,you just need to include the trash can website directory to your route (or provide thatpath on the command word range). The executables in that listing willexpect to discover other data files in sibling web directories within that sameparent installation directory. Earlier versions of BSC required that the atmosphere variableBLUESPECDIR be arranged to stage into the installation listing; this isno more necessary, as the executables will number out their Iocationand determine the installation area on their very own. Operate the using to observe command-line options on the executable: bsc -assist Extra flags of use to programmers can end up being displayed with thefollowing control: bsc -help-hidden More details on making use of BSC, Bluesim, ánd Bluetcl can become discovered in theUser Information forthcoming.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |