| 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
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4723 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:developer
| |
| dbp:dialects
|
- SystemVerilog , Haskell (en)
|
| dbp:family
| |
| dbp:fileExt
| |
| dbp:implementations
|
- Bluespec Compiler ; Toy Bluespec Compiler (en)
|
| dbp:latestReleaseDate
| |
| dbp:latestReleaseVersion
| |
| dbp:scope
| |
| dbp:website
| |
| dbp:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdf:type
| |
| 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
| |
| prov:wasDerivedFrom
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:page
| |
| is dbo:institution
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:workplaces
of | |
| is foaf:primaryTopic
of | |
