Projeto e implementação de uma plataforma MP-SoC usando SystemC

This work presents the concept, design and implementation of a MP-SoC platform, named STORM (MP-SoC DirecTory-Based PlatfORM). Currently the platform is composed of the following modules: SPARC V8 processor, GPOP processor, Cache module, Memory module, Directory module and two different modles of Network-on-Chip, NoCX4 and Obese Tree. All modules were implemented using SystemC, simulated and validated, individually or in group. The modules description is presented in details. For programming the platform in C it was implemented a SPARC assembler, fully compatible with gcc s generated assembly code. For the parallel programming it was implemented a library for mutex managing, using the due assembler s support. A total of 10 simulations of increasing complexity are presented for the validation of the presented concepts. The simulations include real parallel applications, such as matrix multiplication, Mergesort, KMP, Motion Estimation and DCT 2D

Aplicação do método B ao projeto formal de software embarcado

This work shows a project method proposed to design and build software components from the software functional m del up to assembly code level in a rigorous fashion. This method is based on the B method, which was developed with support and interest of British Petroleum (BP). One goal of this methodology is to contribute to solve an important problem, known as The Verifying Compiler. Besides, this work describes a formal model of Z80 microcontroller and a real system of petroleum area. To achieve this goal, the formal model of Z80 was developed and documented, as it is one key component for the verification upto the assembly level. In order to improve the mentioned methodology, it was applied on a petroleum production test system, which is presented in this work. Part of this technique is performed manually. However, almost of these activities can be automated by a specific compiler. To build such compiler, the formal modelling of microcontroller and modelling of production test system should provide relevant knowledge and experiences to the design of a new compiler. In ummary, this work should improve the viability of one of the most stringent criteria for formal verification: speeding up the verification process, reducing design time and increasing the quality and reliability of the product of the final software. All these qualities are very important for systems that involve serious risks or in need of a high confidence, which is very common in the petroleum industry

Digital system design process automation using place/transition petri nets

The constant increase in digital systems complexity definitely demands the automation of the corresponding synthesis process. This paper presents a computational environment designed to produce both software and hardware implementations of a system. The tool for code generation has been named ACG8051. As for the hardware synthesis there has been produced a larger environment consisting of four programs, namely: PIPE2TAB, AGPS, TABELA, and TAB2VHDL. ACG8051 and PIPE2TAB use place/transition net descriptions from PIPE as inputs. ACG8051 is aimed at generating assembly code for the 8051 micro-controller. PIPE2TAB produces a tabular version of a Mealy type finite state machine of the system, its output is fed into AGPS that is used for state allocation. The resulting digital system is then input to TABELA, which minimizes control functions and outputs of the digital system. Finally, the output generated by TABELA is fed to TAB2VHDL that produces a VHDL description of the system at the register transfer level. Thus, we present here a set of tools designed to take a high-level description of a digital system, represented by a place/transition net, and produces as output both an assembly code that can be immediately run on an 8051 micro-controller, and a VHDL description that can be used to directly implement the hardware parts either on an FPGA or as an ASIC.

Geração automática de código para microcontroladores aplicada a um ambiente de co-projeto de hardware e software

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

An integrated environment for filter design

Analog filters and direct digital filters are implemented using digital signal processing techniques. Specifically, Butterworth, Elliptic, and Chebyshev filters are implemented using the Motorola 56001 Digital Signal Processor by the integration of three software packages: MATLAB, C++, and Motorola's Application Development System. The integrated environment allows the novice user to design a filter automatically by specifying the filter order and critical frequencies, while permitting more experienced designers to take advantage of MATLAB's advanced design capabilities. This project bridges the gap between the theoretical results produced by MATLAB and the practicalities of implementing digital filters using the Motorola 56001 Digital Signal Processor. While these results are specific to the Motorola 56001 they may be extended to other digital signal processors. MATLAB handles the filter calculations, a C++ routine handles the conversion to assembly code, and the Motorola software compiles and transmits the code to the processor

Iowa Department of Transportation Fiscal Year 2008 Report of Savings by Using Video Conferencing Through Iowa Communications Network to the Iowa General Assembly Pursuant to Iowa Code § II 84 Acts and Joint Resolutions Enacted at the 1994 Regular Session of the 75th General Assembly of the State of Iowa Iowa Code §8D.10 Report of Savings by State Agencies

Iowa Code § 8D.10 requires certain state agencies prepare an annual report to the General Assembly certifying the identified savings associated with that state agency’s use of the Iowa Communications Network (ICN). This report covers estimated cost savings related to video conferencing via ICN for the Iowa Department of Transportation (DOT). In FY 2008, the DOT did not conduct any sessions utilizing ICN’s video conferencing system. Therefore, no cost savings were calculated for this report.

Iowa Department of Transportation Fiscal Year 2010 Report of Savings by Using Video Conferencing Through Iowa Communications Network to the Iowa General Assembly Pursuant to Iowa Code § II 84 Acts and Joint Resolutions Enacted at the 1994 Regular Session of the 75th General Assembly of the State of Iowa

Introduction and summary Iowa Code § 8D.10 requires certain state agencies to prepare an annual report to the General Assembly certifying the identified savings associated with that state agency’s use of the Iowa Communications Network (ICN). This report covers estimated cost savings related to video conferencing via ICN for the Iowa Department of Transportation (DOT). In FY 2010, the DOT did not conduct any sessions utilizing ICN’s video conferencing system. Therefore, no cost savings were calculated for this report.

Report of the Code Commission : to accompany the code as reported to the Twenty-sixth General Assembly of Iowa, in accordance with the provisions of chapter one hundred and fifteen of the acts of the Twenty-fifth General Assembly,1895.

This is the Report of the Code Commissioners to the Twenty-fifth General Assembly of the State of Iowa

Eighty-Sixth General Assembly House Code of Ethics (House Resolution 5) Adopted 2-3-2015, February 3, 2015

Eighty-Sixth General Assembly House Code of Ethics (House Resolution 5) Adopted 2-3-2015. Every legislator and legislative employee has a duty to uphold the integrity and honor of the general assembly, to encourage respect for the law and for the general assembly, and to observe the house code of ethics. The members and employees of the house have a responsibility to conduct themselves so as to reflect credit on the general assembly, and to inspire the confidence, respect, and trust of the public. The following rules are adopted pursuant to chapter 68B of the Code, to assist the members and employees in the conduct of their activities.

Eighty-Sixth General Assembly Senate Code of Ethics (Senate Resolution 4-Adopted 2-4-2015), February 4, 2015

Eighty-Sixth General Assembly Senate Code of Ethics (Senate Resolution 4-Adopted 2-4-2015)Every legislator owes a duty to uphold the integrity and honor of the general assembly, to encourage respect for the law and for the general assembly and the members thereof, and to observe the legislative code of ethics.

The building laws of the City of New York : as enacted in the building code by the Municipal Assembly... also annotations and citations of judicial decisions /

Cover title: Morgan's building laws indluding the new building code annotated.

The Tax code of Virginia. With all amendments enacted at the session of the General assembly of 1928.

Mode of access: Internet.

The Tax code of Virginia. With all amendments enacted at the session of the General Assembly of 1928 and 1930.

Mode of access: Internet.

The Tax code of Virginia. With all amendments enacted at the session of the General Assembly of 1928, 1930 and 1932. Published by the Department of Taxation of the Commonwealth of Virginia

Mode of access: Internet.

Supplement to the Page & Adams' Annotated general code of the state of Ohio, containing all laws of a permanent and general nature enacted by the General assembly of Ohio for the years 1913, 1914, 1915, and contained in volumes of Ohio laws 103, 104, 105, 106 /

Paged continuously.