Parts a partitioning transformation system

Iyoda, Juliano; Sampaio, Augusto; Silva, Leila

doi:10.1007/3-540-48118-4_24

Cited by 13 publications

(8 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Ultimately, formalization of hardware/software co-design to help achieve a unified framework for computer system development is a goal worth pursuing [18,19]. It is possible to use a parallel programming language such as Occam in a unified manner for this purpose [27]. However, although attractive formally, unfortunately it is unlikely to be widely used in practice since Occam is not popular in industry.…”

Section: Resultsmentioning

confidence: 99%

Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language

Bowen

2000

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. An operational semantics for a significant subset of the Verilog Hardware Description Language (HDL) has been developed. An unusual aspect of the semantics is that it was formulated as a Prolog logic program. This allows the possibility of simulating the semantics. In addition, a literate programming style has been used, so the semantics can be processed by the L A T E X document preparation system with minimal and fully automated preprocessing. Bringing together the paradigms of operational semantics, logic programming and literate programming in this manner has proved a great aid in a number of ways. It has helped improve the understanding of the semantics, in the formalization of semantic aspects left informal in the original mathematical formulation of the semantics, and in the maintenance of the formal semantics and its associated informal description.Civilization advances by extending the number of important operations which we can perform without thinking about them.

show abstract

Section: Resultsmentioning

confidence: 99%

Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language

Bowen

2000

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Some case studies have been developed to validate the methodology proposed in [25], among them, an ATM commuter [12], an intravenous infusion system [2] and the convolution problem, used in digital signal processing [11]. To perform these case studies, an implementation of the partitioning strategy has been developed by Iyoda [11,12].…”

Section: Introductionmentioning

confidence: 99%

Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning

Silva

Menezes

Silva

2004

Electronic Notes in Theoretical Computer Science

Self Cite

View full text Add to dashboard Cite

The focus of this work is hardware/software partitioning verification. The approach uses occam as specification and reasoning language. The partitioned system is derived from the original description of the system by applying transformation rules, all of them proved from the basic laws of occam. The aim of this work is to show how the rewriting system CafeOBJ can be used to automatically prove the partitioning rules, as well as to implement the reduction strategy that guides the application of these rules. In this way, rewriting systems can be regarded as supporting tools for the construction of partitioning environments, whose emphasis is correctness.

show abstract

“…In [17], Iyoda et al provided several algebraic laws to transform the initial description of the system into a parallel composition of a number of simple processes. However, the method delivers a large number of processes and communication channels, which not only poses a complicated problem of merging those small processes, but also raises the communication load between the hardware and software components.…”

Section: Introductionmentioning

confidence: 99%

“…Some of them adopted a subset of the Occam language [16] as specification language [17,23]. In [23], for example, Qin provided a formal strategy for carrying out the partitioning phase automatically, and presented a set of proved algebraic laws of the partitioning process.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

An Optimal Approach to Hardware/Software Partitioning for Synchronous Model

Pu¹,

Hung²,

He³

et al. 2004

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Computer aided hardware/software partitioning is one of the key challenges in hardware/software co-design. This paper describes a new approach to hardware/software partitioning for synchronous communication model. We transform the partitioning into a reachability problem of timed automata. By means of an optimal reachability algorithm, an optimal solution can be obtained in terms of limited resources in hardware. To relax the initial condition of the partitioning for optimization, two algorithms are designed to explore the dependency relations among processes in the sequential specification. Moreover, we propose a scheduling algorithm to improve the synchronous communication efficiency further after partitioning stage. Some experiments are conducted with model checker UPPAAL to show our approach is both effective and efficient.

show abstract

Parts a partitioning transformation system

Cited by 13 publications

References 13 publications

Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language

Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language

Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning

An Optimal Approach to Hardware/Software Partitioning for Synchronous Model

Contact Info

Product

Resources

About