Developer productivity is strongly influenced by the language(s) used during the design process. The abstraction level of the language as well as the opportunities for casual errors due to non-intuitive language features can both have a dramatic impact on developers. In this paper, we explore language design in three contexts: coursegrained expression of parallelism, register transfer level har...

The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well established in manufacturing to specify the awaited behaviour of the APS. Moreover, programmable components increase modularity and allow a higher integration rate of circuits. This paper intends to study the hardware i...

High-density lipoproteins (HDL) are typically defined as lipoprotein particles with buoyant densities from 1.063 to 1.21 g/mL and having apolipoprotein AI (apoAI) as the major apolipoprotein species. It has become increasingly appreciated that the HDL population consists of a collection of particles with diverse sizes, structures, and composition and functional properties that are thought to in...

Theoretical inferences, based on biophysical, biochemical, and biosemiotic considerations, are related here to the pathogenesis of cardiovascular disease, diabetes, and other degenerative conditions. We suggest that the “daytime” job of endothelial nitric oxide synthase (eNOS), when sunlight is available, is to catalyze sulfate production. There is a striking alignment between cell types that p...

This article describes FSMLanguage, a domain-specific language for HW/SW co-design targeting platform FPGAs. Modern platform FPGAs provide a wealth of configurable logic in addition to embedded processors, distributed RAM blocks, and DSP slices in order to help facilitate building HW/SW codesigned systems. A technical challenge in building such systems is that the practice of designing software...

In hardware software codesign paradigm often a performance estimation of the system is needed for hardware software partitioning. The tremendous growth of application specific embedded systems necessitate high level system design tools for rapid prototyping. This work involves design of a language Sim-nML which will be the base for a high level system design environment. The language is simple,...

Designing and debugging hardware components is challenging, especially when performance requirements demands a complex orchestra of cooperating and highly synchronized computation engines. New language-based solutions to this problem have the potential to revolutionize how we think about and build circuits. In this paper, we describe our language-based approach to semi-formal codesign. Using ex...

In this paper we review how hardware has been described in the formal hardware verification community. Recent developments in hardware description are evaluated against the background of the use of hardware description languages, and also in relation to programming languages. The notions of structure and behaviour are crucial to this