The Experts below are selected from a list of 21447 Experts worldwide ranked by ideXlab platform
Tommy Kuhn - One of the best experts on this subject based on the ideXlab platform.
-
a framework for object oriented Hardware Specification verification and synthesis
Design Automation Conference, 2001Co-Authors: Tommy Kuhn, Wolfgang Rosenstiel, Tobias Oppold, M Winterholer, Marc Edwards, Yaron KashaiAbstract:We describe two things. First, we present a uniform framework for object oriented Specification and verification of Hardware. For this purpose the object oriented language “e” is introduced along with a powerful run-time environment that enables the designer to perform the verification task. Second, we present an object oriented synthesis that enhances “e” and its dedicated run-time environment into a framework for Specification, verification, and synthesis. The usability of our approach is demonstrated by real-world examples.
-
DAC - A framework for object oriented Hardware Specification, verification, and synthesis
Proceedings of the 38th conference on Design automation - DAC '01, 2001Co-Authors: Tommy Kuhn, Wolfgang Rosenstiel, Tobias Oppold, M Winterholer, Marc Edwards, Yaron KashaiAbstract:We describe two things. First, we present a uniform framework for object oriented Specification and verification of Hardware. For this purpose the object oriented language “e” is introduced along with a powerful run-time environment that enables the designer to perform the verification task. Second, we present an object oriented synthesis that enhances “e” and its dedicated run-time environment into a framework for Specification, verification, and synthesis. The usability of our approach is demonstrated by real-world examples.
-
java based object oriented Hardware Specification and synthesis
Asia and South Pacific Design Automation Conference, 2000Co-Authors: Tommy Kuhn, Wolfgang RosenstielAbstract:In this contribution we show how the object oriented programming language Java can be used for the Specification of synthesizable Hardware. In this context the JavaBeans component model plays an important role. We show an integration of the JavaBeans model which allows the Specification of Hardware from different views and on different levels of abstraction. Furthermore we point out restrictions of the language necessary to perform high level synthesis.
-
ASP-DAC - Java based object oriented Hardware Specification and synthesis
Proceedings of the 2000 conference on Asia South Pacific design automation - ASP-DAC '00, 2000Co-Authors: Tommy Kuhn, Wolfgang RosenstielAbstract:In this contribution we show how the object oriented programming language Java can be used for the Specification of synthesizable Hardware. In this context the JavaBeans component model plays an important role. We show an integration of the JavaBeans model which allows the Specification of Hardware from different views and on different levels of abstraction. Furthermore we point out restrictions of the language necessary to perform high level synthesis.
Yaron Kashai - One of the best experts on this subject based on the ideXlab platform.
-
a framework for object oriented Hardware Specification verification and synthesis
Design Automation Conference, 2001Co-Authors: Tommy Kuhn, Wolfgang Rosenstiel, Tobias Oppold, M Winterholer, Marc Edwards, Yaron KashaiAbstract:We describe two things. First, we present a uniform framework for object oriented Specification and verification of Hardware. For this purpose the object oriented language “e” is introduced along with a powerful run-time environment that enables the designer to perform the verification task. Second, we present an object oriented synthesis that enhances “e” and its dedicated run-time environment into a framework for Specification, verification, and synthesis. The usability of our approach is demonstrated by real-world examples.
-
DAC - A framework for object oriented Hardware Specification, verification, and synthesis
Proceedings of the 38th conference on Design automation - DAC '01, 2001Co-Authors: Tommy Kuhn, Wolfgang Rosenstiel, Tobias Oppold, M Winterholer, Marc Edwards, Yaron KashaiAbstract:We describe two things. First, we present a uniform framework for object oriented Specification and verification of Hardware. For this purpose the object oriented language “e” is introduced along with a powerful run-time environment that enables the designer to perform the verification task. Second, we present an object oriented synthesis that enhances “e” and its dedicated run-time environment into a framework for Specification, verification, and synthesis. The usability of our approach is demonstrated by real-world examples.
Wolfgang Rosenstiel - One of the best experts on this subject based on the ideXlab platform.
-
a framework for object oriented Hardware Specification verification and synthesis
Design Automation Conference, 2001Co-Authors: Tommy Kuhn, Wolfgang Rosenstiel, Tobias Oppold, M Winterholer, Marc Edwards, Yaron KashaiAbstract:We describe two things. First, we present a uniform framework for object oriented Specification and verification of Hardware. For this purpose the object oriented language “e” is introduced along with a powerful run-time environment that enables the designer to perform the verification task. Second, we present an object oriented synthesis that enhances “e” and its dedicated run-time environment into a framework for Specification, verification, and synthesis. The usability of our approach is demonstrated by real-world examples.
-
DAC - A framework for object oriented Hardware Specification, verification, and synthesis
Proceedings of the 38th conference on Design automation - DAC '01, 2001Co-Authors: Tommy Kuhn, Wolfgang Rosenstiel, Tobias Oppold, M Winterholer, Marc Edwards, Yaron KashaiAbstract:We describe two things. First, we present a uniform framework for object oriented Specification and verification of Hardware. For this purpose the object oriented language “e” is introduced along with a powerful run-time environment that enables the designer to perform the verification task. Second, we present an object oriented synthesis that enhances “e” and its dedicated run-time environment into a framework for Specification, verification, and synthesis. The usability of our approach is demonstrated by real-world examples.
-
java based object oriented Hardware Specification and synthesis
Asia and South Pacific Design Automation Conference, 2000Co-Authors: Tommy Kuhn, Wolfgang RosenstielAbstract:In this contribution we show how the object oriented programming language Java can be used for the Specification of synthesizable Hardware. In this context the JavaBeans component model plays an important role. We show an integration of the JavaBeans model which allows the Specification of Hardware from different views and on different levels of abstraction. Furthermore we point out restrictions of the language necessary to perform high level synthesis.
-
ASP-DAC - Java based object oriented Hardware Specification and synthesis
Proceedings of the 2000 conference on Asia South Pacific design automation - ASP-DAC '00, 2000Co-Authors: Tommy Kuhn, Wolfgang RosenstielAbstract:In this contribution we show how the object oriented programming language Java can be used for the Specification of synthesizable Hardware. In this context the JavaBeans component model plays an important role. We show an integration of the JavaBeans model which allows the Specification of Hardware from different views and on different levels of abstraction. Furthermore we point out restrictions of the language necessary to perform high level synthesis.
D.j. Verburg - One of the best experts on this subject based on the ideXlab platform.
-
ATS/AGV-design, implementation and evaluation of a high performance AGV
Intelligent Vehicle Symposium 2002. IEEE, 2002Co-Authors: Jeroen Ploeg, A.c.m. Van Der Knaap, D.j. VerburgAbstract:Within the framework of a full scale Hardware-in-the-loop intelligent vehicle simulator called VEHIL, an automatic guided vehicle is developed in order to simulate traffic participants. This vehicle, called ATS/AGV, is based on a four wheel drive and four wheel steer concept which allows for a high handling performance in combination with the ability to carry out very complex manoeuvres. A structured design methodology appears to be essential to a cost and time effective design and technical Specification of the AGV. This design methodology is strongly based on a dynamic model of the AGV which incorporates essential dynamics and nonlinearities, the latter mainly arising from the tyre-road contact behaviour. The other important aspect is the application often rig experiments. Within this design methodology, the development of the path control system takes place in an early stage and is carried out in close cooperation with the mechanical Hardware Specification. This makes the AGV a truly mechatronic product. Experiments show that ATS/AGV is capable of executing complex manoeuvres with a high dynamic performance.
-
ats agv design implementation and evaluation of a high performance agv
IEEE Intelligent Vehicles Symposium, 2002Co-Authors: Jeroen Ploeg, A.c.m. Van Der Knaap, D.j. VerburgAbstract:Within the framework of a full scale Hardware-in-the-loop intelligent vehicle simulator called VEHIL, an automatic guided vehicle is developed in order to simulate traffic participants. This vehicle, called ATS/AGV, is based on a four wheel drive and four wheel steer concept which allows for a high handling performance in combination with the ability to carry out very complex manoeuvres. A structured design methodology appears to be essential to a cost and time effective design and technical Specification of the AGV. This design methodology is strongly based on a dynamic model of the AGV which incorporates essential dynamics and nonlinearities, the latter mainly arising from the tyre-road contact behaviour. The other important aspect is the application often rig experiments. Within this design methodology, the development of the path control system takes place in an early stage and is carried out in close cooperation with the mechanical Hardware Specification. This makes the AGV a truly mechatronic product. Experiments show that ATS/AGV is capable of executing complex manoeuvres with a high dynamic performance.
Jan Kuper - One of the best experts on this subject based on the ideXlab platform.
-
Hardware Specification with C$$\varvec{\lambda }$$ aSH
Central European Functional Programming School, 2015Co-Authors: Jan KuperAbstract:C\(\lambda \)aSH is a recently developed system to specify and synthesize Hardware architectures, strongly based on the functional programming language Haskell. Different from other existing approaches to describe Hardware in a functional style, C\(\lambda \)aSH is not defined as an embedded language inside Haskell, but instead, C\(\lambda \)aSH uses Haskell itself to specify Hardware architectures. In fact, every C\(\lambda \)aSH Specification is an executable Haskell program. Hence, the simulation of a Hardware architecture is immediate, and all abstraction mechanisms that are available in Haskell are maintained in C\(\lambda \)aSH, insofar they are directly applicable to the Specification of Hardware.
-
Hardware Specification with c varvec lambda ash
Central European Functional Programming School, 2013Co-Authors: Jan KuperAbstract:C\(\lambda \)aSH is a recently developed system to specify and synthesize Hardware architectures, strongly based on the functional programming language Haskell. Different from other existing approaches to describe Hardware in a functional style, C\(\lambda \)aSH is not defined as an embedded language inside Haskell, but instead, C\(\lambda \)aSH uses Haskell itself to specify Hardware architectures. In fact, every C\(\lambda \)aSH Specification is an executable Haskell program. Hence, the simulation of a Hardware architecture is immediate, and all abstraction mechanisms that are available in Haskell are maintained in C\(\lambda \)aSH, insofar they are directly applicable to the Specification of Hardware.
-
FDL - Exercises in architecture Specification using CλaSH
2010 Forum on Specification & Design Languages (FDL 2010), 2010Co-Authors: Jan Kuper, Christiaan Baaij, Matthijs Kooijman, Marco E. T. GerardsAbstract:This paper introduces the Hardware Specification system ClaSH by elaborating on a few non-trivial examples. ClaSH is a compiling system that translates a subset of Haskell into synthesizable VHDL by a rewriting technique. This subset of Haskell includes higher order functions, polymorphism, lambda abstraction, pattern matching, and choice constructs.
