|
Bluespec
Bluespec, Inc. is a semiconductor tool design company co-founded by Professor Arvind (computer scientist), Arvind of MIT in June 2003. Arvind had previously founded Sandburst in 2000, which specialized in producing chips for 10 Gigabit Ethernet, 10G-bit Ethernet router (computing), routers; for this task, Bluespec has two product lines. Primarily for Application-specific integrated circuit, ASIC and FPGA hardware designers and architects, Bluespec supplies high-level synthesis (electronic system-level, ESL logic synthesis) with register-transfer level, RTL. The first Bluespec workshop was held on August 13, 2007, at MIT. Bluespec SystemVerilog Bluespec Arvind had developed the Bluespec language called ''Bluespec SystemVerilog'' (BSV), a high-level functional programming, functional hardware description language, hardware description programming language which was essentially Haskell (programming language), Haskell extended to handle chip design and electronic design automati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Arvind (computer Scientist)
Arvind is the Johnson Professor of Computer Science and Engineering in the Computer Science and Artificial Intelligence Laboratory (CSAIL) at the Massachusetts Institute of Technology (MIT). He is a Fellow of the Institute of Electrical and Electronics Engineers (IEEE) and the Association for Computing Machinery (ACM). He was also elected as a member into the National Academy of Engineering in 2008 for contributions to data flow and multi-thread computing and the development of tools for the high-level synthesis of hardware. Career Arvind's research interests include formal verification of large-scale digital systems using Guarded Atomic Actions, Memory Models, and Cache Coherence Protocols for parallel architectures and languages. Past work was instrumental in the development of dynamic dataflow architectures, two parallel computing programming languages (''Id'' and ''pH''), and the compiling of such languages on parallel machines. At IIT Kanpur, he earned a Bachelor of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Haskell (programming Language)
Haskell () is a general-purpose, statically-typed, purely functional programming language with type inference and lazy evaluation. Designed for teaching, research and industrial applications, Haskell has pioneered a number of programming language features such as type classes, which enable type-safe operator overloading, and monadic IO. Haskell's main implementation is the Glasgow Haskell Compiler (GHC). It is named after logician Haskell Curry. Haskell's semantics are historically based on those of the Miranda programming language, which served to focus the efforts of the initial Haskell working group. The last formal specification of the language was made in July 2010, while the development of GHC continues to expand Haskell via language extensions. Haskell is used in academia and industry. , Haskell was the 28th most popular programming language by Google searches for tutorials, and made up less than 1% of active users on the GitHub source code repository. History ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hardware Description Language
In computer engineering, a hardware description language (HDL) is a specialized computer language used to describe the structure and behavior of electronic circuits, and most commonly, digital logic circuits. A hardware description language enables a precise, formal description of an electronic circuit that allows for the automated analysis and simulation of an electronic circuit. It also allows for the synthesis of an HDL description into a netlist (a specification of physical electronic components and how they are connected together), which can then be placed and routed to produce the set of masks used to create an integrated circuit. A hardware description language looks much like a programming language such as C or ALGOL; it is a textual description consisting of expressions, statements and control structures. One important difference between most programming languages and HDLs is that HDLs explicitly include the notion of time. HDLs form an integral part of electr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hardware Description Language
In computer engineering, a hardware description language (HDL) is a specialized computer language used to describe the structure and behavior of electronic circuits, and most commonly, digital logic circuits. A hardware description language enables a precise, formal description of an electronic circuit that allows for the automated analysis and simulation of an electronic circuit. It also allows for the synthesis of an HDL description into a netlist (a specification of physical electronic components and how they are connected together), which can then be placed and routed to produce the set of masks used to create an integrated circuit. A hardware description language looks much like a programming language such as C or ALGOL; it is a textual description consisting of expressions, statements and control structures. One important difference between most programming languages and HDLs is that HDLs explicitly include the notion of time. HDLs form an integral part of electr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
High-level Synthesis
High-level synthesis (HLS), sometimes referred to as C synthesis, electronic system-level (ESL) synthesis, algorithmic synthesis, or behavioral synthesis, is an automated design process that takes an abstract behavioral specification of a digital system and finds a register-transfer level structure that realizes the given behavior. Synthesis begins with a high-level specification of the problem, where behavior is generally decoupled from low-level circuit mechanics such as clock-level timing. Early HLS explored a variety of input specification languages,IEEE XplorHigh-Level Synthesis: Past, Present, and FutureDOI 10.1109/MDT.2009.83 although recent research and commercial applications generally accept synthesizable subsets of ANSI C/C++/ SystemC/MATLAB. The code is analyzed, architecturally constrained, and scheduled to transcompile into a register-transfer level (RTL) design in a hardware description language (HDL), which is in turn commonly synthesized to the gate level by the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lennart Augustsson
Lennart Augustsson is a Swedish computer scientist. He was previously a lecturer at the Computing Science Department at Chalmers University of Technology. His research field is functional programming and implementations of functional languages. Augustsson has worked for Carlstedt Research and Technology, Sandburst, Credit Suisse, Standard Chartered Bank, Facebook, X Development, Google and is currently employed by Epic Games. Augustsson is the author of: * The Cayenne programming language. * The HBC Haskell compiler. * Several hardware device drivers for NetBSD. * The front end of the pH compiler (parallel Haskell) from MIT. * The initial version of the Bluespec compiler. He was also a co-developer, with Thomas Johnsson, of Lazy ML, a functional programming language developed in the early 1980s, prior to Miranda and Haskell. LML is a strongly typed, statically scoped implementation of ML, with lazy evaluation. The key innovation of LML was to demonstrate how to compile a lazy ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chalmers University
Chalmers University of Technology ( sv, Chalmers tekniska högskola, often shortened to Chalmers) is a Swedish university located in Gothenburg that conducts research and education in technology and natural sciences at a high international level. The university has approximately 3100 employees and 10,000 students, and offers education in engineering, science, shipping, architecture and other management areas. Chalmers is coordinating the Graphene Flagship, the European Union's biggest research initiative to bring graphene innovation out of the lab and into commercial applications, and leading the development of a Swedish quantum computer. History The university was founded in 1829 following a donation by William Chalmers, a director of the Swedish East India Company. He donated part of his fortune for the establishment of an "industrial school". Chalmers is one of only three universities in Sweden which are named after a person, the other two being Karolinska Institutet and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Hughes (programming)
R. John M. Hughes, born , is a computer scientist and professor in the department of Computing Science at the Chalmers University of Technology. Contributions In 1984, Hughes received his PhD from the University of Oxford for the thesis "The Design and Implementation of Programming Languages". Hughes is a member of the Functional Programming group at Chalmers, and much of his research relates to the Haskell programming language. He does research in the field of programming languages and is the author of many influential research papers on the subject, including "Why Functional Programming Matters". Hughes is one of the developers of QuickCheck, as well as cofounder and CEO of QuviQ, which provides the QuickCheck software and offers classes in how to use it. In 2016 he appeared in the popular science YouTube channel Computerphile explaining Functional Programming and QuickCheck. Recognition Hughes was elected as an ACM Fellow in 2018 for "contributions to software testing and f ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Yale University
Yale University is a private research university in New Haven, Connecticut. Established in 1701 as the Collegiate School, it is the third-oldest institution of higher education in the United States and among the most prestigious in the world. It is a member of the Ivy League. Chartered by the Connecticut Colony, the Collegiate School was established in 1701 by clergy to educate Congregational ministers before moving to New Haven in 1716. Originally restricted to theology and sacred languages, the curriculum began to incorporate humanities and sciences by the time of the American Revolution. In the 19th century, the college expanded into graduate and professional instruction, awarding the first PhD in the United States in 1861 and organizing as a university in 1887. Yale's faculty and student populations grew after 1890 with rapid expansion of the physical campus and scientific research. Yale is organized into fourteen constituent schools: the original undergraduate col ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
SystemVerilog
SystemVerilog, standardized as IEEE 1800, is a hardware description and hardware verification language used to model, design, simulate, test and implement electronic systems. SystemVerilog is based on Verilog and some extensions, and since 2008 Verilog is now part of the same IEEE standard. It is commonly used in the semiconductor and electronic design industry as an evolution of Verilog. History SystemVerilog started with the donation of the Superlog language to Accellera in 2002 by the startup company Co-Design Automation. The bulk of the verification functionality is based on the OpenVera language donated by Synopsys. In 2005, SystemVerilog was adopted as IEEE Standard 1800-2005. In 2009, the standard was merged with the base Verilog (IEEE 1364-2005) standard, creating IEEE Standard 1800-2009. The current version is IEEE standard 1800-2017. The feature-set of SystemVerilog can be divided into two distinct roles: # SystemVerilog for register-transfer level (RTL) design is a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Simon Peyton Jones
Simon Peyton Jones (born 18 January 1958) is a British computer scientist who researches the implementation and applications of functional programming languages, particularly lazy functional programming. Education Peyton Jones graduated from Trinity College, Cambridge with a BSc in Electrical Sciences in 1979 and went on to complete the Cambridge Diploma in Computer Science in 1980. He never did a PhD. Career and research Peyton Jones worked in industry for two years before serving as a lecturer at University College London and, from 1990 to 1998, as a professor at the University of Glasgow. From 1998 to 2021 he worked as a researcher at Microsoft Research in Cambridge, England. Since 2021 he has worked at Epic Games as an engineering fellow. He is a major contributor to the design of the Haskell programming language, and a lead developer of the Glasgow Haskell Compiler (GHC). He is also co-creator of the programming language, designed for intermediate program representati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Verilog-AMS
Verilog-AMS is a derivative of the Verilog hardware description language that includes analog and mixed-signal extensions (AMS) in order to define the behavior of analog and mixed-signal systems. It extends the event-based simulator loops of Verilog/SystemVerilog/VHDL, by a continuous-time simulator, which solves the differential equations in analog-domain. Both domains are coupled: analog events can trigger digital actions and vice versa. Overview The Verilog-AMS standard was created with the intent of enabling designers of analog and mixed signal systems and integrated circuits to create and use modules that encapsulate high-level behavioral descriptions as well as structural descriptions of systems and components. Verilog-AMS is an industry standard modeling language for mixed signal circuits. It provides both continuous-time and event-driven modeling semantics, and so is suitable for analog, digital, and mixed analog/digital circuits. It is particularly well suited for verif ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
