A normal form reduction strategy for hardware/software partitioning

Silva, Leila; Sampaio, Augusto; Barros, Edna

doi:10.1007/3-540-63533-5_33

Cited by 16 publications

(12 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Recently, some works have suggested the use of formal methods for the partitioning process [14,12]. In [14], Silva et al provide a formal strategy for carrying out the splitting phase automatically, and present an algebraic proof for its correctness.…”

Section: Introductionmentioning

confidence: 99%

“…In [14], Silva et al provide a formal strategy for carrying out the splitting phase automatically, and present an algebraic proof for its correctness. However, the splitting phase delivers a large number of simple processes, and leaves the hard task of clustering these processes into hardware and software components to the clustering phase and the joining phase.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Hardware/Software Partitioning in Verilog

Qin

Qiu

et al. 2002

Formal Methods and Software Engineering

View full text Add to dashboard Cite

The full-text may be used and/or reproduced, and given to third parties in any format or medium, without prior permission or charge, for personal research or study, educational, or not-for-prot purposes provided that:• a full bibliographic reference is made to the original source • a link is made to the metadata record in DRO • the full-text is not changed in any way The full-text must not be sold in any format or medium without the formal permission of the copyright holders.Please consult the full DRO policy for further details. Abstract. We propose in this paper an algebraic approach to hardware/software partitioning in Verilog HDL. We explore a collection of algebraic laws for Verilog programs, from which we design a set of syntaxbased algebraic rules to conduct hardware/software partitioning. The cospecification language and the target hardware and software description languages are specific subsets of Verilog, which brings forth our successful verification for the correctness of the partitioning process by algebra of Verilog. Facilitated by Verilog's rich features, we have also successfully studied hw/sw partitioning for environment-driven systems.

show abstract

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Hardware/Software Partitioning in Verilog

Qin

Qiu

et al. 2002

Formal Methods and Software Engineering

View full text Add to dashboard Cite

show abstract

“…Silva et al [18,19] further develop the ideas presented in [3] by giving a precise characterisation of the partitioning process as a program transformation task. These works apply algebraic rules to guarantee that the partitioned system has the same functionality of the original description.…”

Section: The Hardware/software Partitioning Problemmentioning

confidence: 99%

“…The main purpose of this paper is to present an environment which implements the strategy described in [3,18,19] to provide automatic hardware/software partitioning. This environment, the Partitioning Transformation SystemParTS, is an extension of the Oxford occam Transformation System (OTS) [10] -a tool developed at Oxford University constructed to perform transformations of occam programs [16].…”

Section: The Hardware/software Partitioning Problemmentioning

confidence: 99%

“…The formal definition of a simple process is given in [18], but it is enough to think of it as a process with granularity of a primitive command, possibly as a branch of a conditional (IF) or choice (ALT) statement. Classification A set of implementation alternatives for each simple process is established by considering some features such as concurrent behaviour, data dependency, multiplicity, non-determinism and mutual exclusion.…”

Section: The Partitioning Approachmentioning

confidence: 99%

See 1 more Smart Citation

Parts a partitioning transformation system

Iyoda

Sampaio

Silva

1999

FM’99 — Formal Methods

Self Cite

View full text Add to dashboard Cite

Abstract. This paper describes a system (ParTS) for automatic hardware/software partitioning of applications described in the concurrent programming language occam. Based on algebraic transformations of occam programs, the strategy guarantees, by construction, that the partitioning process preserves the semantics of the original description. ParTS has been developed as an extension of OTS -a tool implemented at Oxford University which allows one to apply basic algebraic laws to an occam program in an interactive way. ParTS extends OTS with elaborate transformation rules which are necessary for carrying out partitioning automatically. To illustrate the partitioning methodology and our system, a convolution program is used as a case study.

show abstract