Bluespec (original) (raw)
Bluespec, Inc. is a semiconductor tool design company co-founded by Professor Arvind of MIT in June 2003. Arvind had previously founded in 2000, which specialized in producing chips for 10G-bit Ethernet routers; for this task, Bluespec has two product lines. Primarily for ASIC and FPGA hardware designers and architects, Bluespec supplies high-level synthesis (ESL logic synthesis) with RTL. The first Bluespec workshop was held on August 13, 2007, at MIT.
| Property | Value |
|---|---|
| dbo:abstract | Bluespec, Inc. is a semiconductor tool design company co-founded by Professor Arvind of MIT in June 2003. Arvind had previously founded in 2000, which specialized in producing chips for 10G-bit Ethernet routers; for this task, Bluespec has two product lines. Primarily for ASIC and FPGA hardware designers and architects, Bluespec supplies high-level synthesis (ESL logic synthesis) with RTL. The first Bluespec workshop was held on August 13, 2007, at MIT. (en) Bluespec, Inc.は、MITの教授が2003年6月に設立した半導体の設計会社である。Arvindは2000年に10G-bit Ethernetのルーター向けのチップ製造に特化したを設立しているが、そのチップ製造のためにArvindが作ったのがBluespec言語である。Bluespecは高レベルの関数型のハードウェア記述言語であり、チップ設計と電子回路設計自動化（EDA）全般を扱えるようにHaskellを拡張して作られている。Bluespecの設計と実装は、主にによって行われた。Bluespecは（Haskellの部品へと）部分評価し、項書き換えシステム（term rewriting system; TRS）へとコンパイルされる。SystemVerilogのフロントエンドが用意されている。 Bluespecは2つの製品ラインを持っている。Bluspecは、主にASICとFPGAのハードウェアの設計者およびアーキテクト向けに、RTLを使用した（論理合成）を提供している。 最初のBluespec workshopは、2007年8月13日にMITで開催された。 (ja) Bluespec, Inc. är ett halvledarverktygsdesignföretag med medgrundat av professor från MIT i juni 2003. Arvind hade tidigare grundat 2000, som specialiserat sig på att producera kretskort för 10G-bitars Ethernet- routrar; för denna uppgift hade Arvind utvecklat Bluespec språket, ett hög-nivå funktionell hårdvarubeskrivande programspråk som i princip var Haskell utvidgat för att hantera kretskortsdesign och Electronic Design Automation i allmänhet. Bluespecs huvuddesigner och implementatör var från Chalmers. Bluespec har partiell evaluering (för att konvertera Haskell) och kompileras till term-omskrivningssystem (TRS). Den levereras med ett gränssnitt. Bluespec har två produktkategorier. Framförallt för ASIC och FPGA hårdvara designers och arkitekter levererar Bluespec ( logik syntes) med . Den första Bluespec arbetseminariet hölls den 13 augusti 2007 på MIT. (sv) |
| dbo:latestReleaseVersion | Version 2022.01 |
| dbo:wikiPageExternalLink | https://bluespec.com/ https://web.ece.ucsb.edu/its/bluespec/doc/BSV/user-guide.pdf https://www.cl.cam.ac.uk/~djg11/wwwhpr/toy-bluespec-compiler.html http://bluespec.com http://research.microsoft.com/~simonpj/papers/history-of-haskell/index.htm |
| dbo:wikiPageID | 5931665 (xsd:integer) |
| dbo:wikiPageLength | 4723 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1122214352 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:California dbr:Router_(computing) dbr:San_Diego dbr:Electronic_design_automation dbr:Application-specific_integrated_circuit dbr:Paul_Hudak dbr:University_of_Edinburgh dbr:Verilog dbr:Verilog-AMS dbr:10_Gigabit_Ethernet dbc:Companies_established_in_2003 dbr:MIT dbr:Simon_Peyton_Jones dbr:Functional_programming dbr:Logic_synthesis dbr:FPGA dbr:Partial_evaluation dbr:Lennart_Augustsson dbr:Electronic_system-level dbr:Register-transfer_level dbr:Hardware_description_language dbr:Haskell_(programming_language) dbr:High-level_synthesis dbr:Tcl dbc:Equipment_semiconductor_companies dbr:SystemVerilog dbr:Arvind_(computer_scientist) dbr:Philip_Wadler dbr:Term_rewriting_system dbr:Microsoft_Research dbr:Yale_University dbr:Programming_language dbr:Chalmers_University dbr:John_Hughes_(programming) dbr:New_BSD_License dbr:Sandburst |
| dbp:developer | Bluespec Inc. (en) |
| dbp:dialects | SystemVerilog , Haskell (en) |
| dbp:family | Verilog, Haskell (en) |
| dbp:fileExt | .bsv (en) |
| dbp:implementations | Bluespec Compiler ; Toy Bluespec Compiler (en) |
| dbp:latestReleaseDate | January 2022 (en) |
| dbp:latestReleaseVersion | Version 2022.01 (en) |
| dbp:scope | dbr:Hardware_description_language |
| dbp:website | https://bluespec.com/ |
| dbp:wikiPageUsesTemplate | dbt:Infobox_programming_language dbt:Reflist dbt:Rp dbt:Short_description dbt:US-company-stub |
| dcterms:subject | dbc:Companies_established_in_2003 dbc:Equipment_semiconductor_companies |
| rdf:type | owl:Thing dbo:Language schema:Language wikidata:Q315 wikidata:Q9143 dbo:ProgrammingLanguage |
| rdfs:comment | Bluespec, Inc. is a semiconductor tool design company co-founded by Professor Arvind of MIT in June 2003. Arvind had previously founded in 2000, which specialized in producing chips for 10G-bit Ethernet routers; for this task, Bluespec has two product lines. Primarily for ASIC and FPGA hardware designers and architects, Bluespec supplies high-level synthesis (ESL logic synthesis) with RTL. The first Bluespec workshop was held on August 13, 2007, at MIT. (en) Bluespec, Inc.は、MITの教授が2003年6月に設立した半導体の設計会社である。Arvindは2000年に10G-bit Ethernetのルーター向けのチップ製造に特化したを設立しているが、そのチップ製造のためにArvindが作ったのがBluespec言語である。Bluespecは高レベルの関数型のハードウェア記述言語であり、チップ設計と電子回路設計自動化（EDA）全般を扱えるようにHaskellを拡張して作られている。Bluespecの設計と実装は、主にによって行われた。Bluespecは（Haskellの部品へと）部分評価し、項書き換えシステム（term rewriting system; TRS）へとコンパイルされる。SystemVerilogのフロントエンドが用意されている。 Bluespecは2つの製品ラインを持っている。Bluspecは、主にASICとFPGAのハードウェアの設計者およびアーキテクト向けに、RTLを使用した（論理合成）を提供している。 最初のBluespec workshopは、2007年8月13日にMITで開催された。 (ja) Bluespec, Inc. är ett halvledarverktygsdesignföretag med medgrundat av professor från MIT i juni 2003. Arvind hade tidigare grundat 2000, som specialiserat sig på att producera kretskort för 10G-bitars Ethernet- routrar; för denna uppgift hade Arvind utvecklat Bluespec språket, ett hög-nivå funktionell hårdvarubeskrivande programspråk som i princip var Haskell utvidgat för att hantera kretskortsdesign och Electronic Design Automation i allmänhet. Bluespecs huvuddesigner och implementatör var från Chalmers. Bluespec har partiell evaluering (för att konvertera Haskell) och kompileras till term-omskrivningssystem (TRS). Den levereras med ett gränssnitt. (sv) |
| rdfs:label | Bluespec (en) Bluespec (ja) Bluespec (sv) |
| owl:sameAs | yago-res:Bluespec wikidata:Bluespec dbpedia-ja:Bluespec dbpedia-sv:Bluespec https://global.dbpedia.org/id/4ZZBE |
| prov:wasDerivedFrom | wikipedia-en:Bluespec?oldid=1122214352&ns=0 |
| foaf:homepage | https://bluespec.com/ |
| foaf:isPrimaryTopicOf | wikipedia-en:Bluespec |
| foaf:page | https://bluespec.com/ |
| is dbo:institution of | dbr:Arvind_(computer_scientist) |
| is dbo:wikiPageRedirects of | dbr:Bluespec,_Inc. dbr:Bluespec_SystemVerilog |
| is dbo:wikiPageWikiLink of | dbr:List_of_programming_languages_by_type dbr:Bluespec,_Inc. dbr:Lennart_Augustsson dbr:Hardware_description_language dbr:Atom_(programming_language) dbr:Arvind_(computer_scientist) dbr:SHAKTI_(microprocessor) dbr:Soft_microprocessor dbr:Bluespec_SystemVerilog |
| is dbp:workplaces of | dbr:Arvind_(computer_scientist) |
| is foaf:primaryTopic of | wikipedia-en:Bluespec |