Desenvolvimento de um processador VLIW

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores

IBAL manual; the Illiac III basic assembler language,

"Supported in part by contract AT(11-1)-2118 with the United States Atomic Energy Commission."

A generalized assembler.

Issued also as thesis (M.S.) University of Illinois.

A cross-assembler/simulator for a microprocessor-based industrial controller /

Vita: p. 65.

YAQ : a 360 assembler version of the algorithm Aq and comparison with other PL/I programs /

"UILU-ENG 77 1724."

A universal cross-assembler /

Thesis (M. S.)--University of Illinois at Urbana-Champaign.

An assembler for efficient file manipulation /

Thesis (M. S.)--University of Illinois at Urbana-Champaign.

A macro-assembler for Illiac IV /

"December 1, 1969."

Assembler's guide to diagnostic x-ray equipment under the Federal Performance Standard.

Mode of access: Internet.

Timing analysis of assembler code control-flow paths

Timinganalysis of assembler code is essential to achieve the strongest possible guarantee of correctness for safety-critical, real-time software. Previous work has shown how timingconstrain ts on controlflow paths through high-level language programs can be formalised using the semantics of the statements comprisingthe path. We extend these results to assembler-level code where it becomes possible to not only determine timingconstrain ts, but also to verify them against the known execution times for each instruction. A minimal formal model is developed with both a weakest liberal precondition and a strongest postcondition semantics. However, despite the formalism’s simplicity, it is shown that complex timingb ehaviour associated with instruction pipeliningand iterative code can be modelled accurately.

A partial-correctness semantics for modelling assembler programs

Previous work on formally modelling and analysing program compilation has shown the need for a simple and expressive semantics for assembler level programs. Assembler programs contain unstructured jumps and previous formalisms have modelled these by using continuations, or by embedding the program in an explicit emulator. We propose a simpler approach, which uses techniques from compiler theory in a formal setting. This approach is based on an interpretation of programs as collections of program paths, each of which has a weakest liberal precondition semantics. We then demonstrate, by example, how we can use this formalism to justify the compilation of block-structured high-level language programs into assembler.

Complete Genome Sequence of Mycoplasma suis and Insights into Its Biology and Adaption to an Erythrocyte Niche

Mycoplasma suis, the causative agent of porcine infectious anemia, has never been cultured in vitro and mechanisms by which it causes disease are poorly understood. Thus, the objective herein was to use whole genome sequencing and analysis of M. suis to define pathogenicity mechanisms and biochemical pathways. M. suis was harvested from the blood of an experimentally infected pig. Following DNA extraction and construction of a paired end library, whole-genome sequencing was performed using GS-FLX (454) and Titanium chemistry. Reads on paired-end constructs were assembled using GS De Novo Assembler and gaps closed by primer walking; assembly was validated by PFGE. Glimmer and Manatee Annotation Engine were used to predict and annotate protein-coding sequences (CDS). The M. suis genome consists of a single, 742,431 bp chromosome with low G+C content of 31.1%. A total of 844 CDS, 3 single copies, unlinked rRNA genes and 32 tRNAs were identified. Gene homologies and GC skew graph show that M. suis has a typical Mollicutes oriC. The predicted metabolic pathway is concise, showing evidence of adaptation to blood environment. M. suis is a glycolytic species, obtaining energy through sugars fermentation and ATP-synthase. The pentose-phosphate pathway, metabolism of cofactors and vitamins, pyruvate dehydrogenase and NAD(+) kinase are missing. Thus, ribose, NADH, NADPH and coenzyme A are possibly essential for its growth. M. suis can generate purines from hypoxanthine, which is secreted by RBCs, and cytidine nucleotides from uracil. Toxins orthologs were not identified. We suggest that M. suis may cause disease by scavenging and competing for host nutrients, leading to decreased life-span of RBCs. In summary, genome analysis shows that M. suis is dependent on host cell metabolism and this characteristic is likely to be linked to its pathogenicity. The prediction of essential nutrients will aid the development of in vitro cultivation systems.

A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

Desenvolvimento do processo de produção de peça plástica revestida a PVC para a indústria automóvel

O desenvolvimento do processo de produção de um produto para a indústria automóvel é sempre um desafio de nível de dificuldade exigente. Este trabalho teve por base o estudo do desenvolvimento do processo de produção de um produto para a área automóvel, constituído por diversos componentes e exigindo diversas etapas de produção. O desafio partiu de um cliente da SIMOLDES - PLÁSTICOS, S.A. que necessitava de uma peça em plástico para um novo modelo de automóvel. Foram estabelecidas as condições iniciais impostas pelo cliente e foram estudados os condicionalismos impostos pelas mesmas. Foram estudadas diferentes alternativas com vista à optimização do processo, garantindo a qualidade e tentando minimizar o custo final do produto. Foi realizada uma optimização dos moldes, por forma a poderem ser utilizadas máquinas com Força de Fecho mais baixa. Foram desenvolvidos alguns equipamentos que permitiram à empresa optar por novas formas de produção, utilizando materiais mais amigos do ambiente. Foram estudadas as condições de distribuição e optimização das tarefas, com vista à garantia do cumprimento dos prazos de entrega exigidos pelo cliente. Foi estudado o ‘layout’ que optimizou as operações de transporte das diferentes peças que constituem o produto final. Este trabalho foi elaborado com base num trabalho desenvolvido e implementado na SIMOLDES – PLÁSTICOS, S.A.

Software for Explicitly Parallel Memory-Centric Processor Architecture

Advances in computer memory technology justify research towards new and different views on computer organization. This paper proposes a novel memory-centric computing architecture with the goal to merge memory and processing elements in order to provide better conditions for parallelization and performance. The paper introduces the architectural concepts and afterwards shows the design and implementation of a corresponding assembler and simulator.