From FPGA to ASIC: A RISC-V processor experience

This work document a correct design flow using these tools in the Lagarto RISC- V Processor and the RTL design considerations that must be taken into account, to move from a design for FPGA to design for ASIC

A case study for NoC based homogeneous MPSoC architectures

The many-core design paradigm requires flexible and modular hardware and software components to provide the required scalability to next-generation on-chip multiprocessor architectures. A multidisciplinary approach is necessary to consider all the interactions between the different components of the design. In this paper, a complete design methodology that tackles at once the aspects of system level modeling, hardware architecture, and programming model has been successfully used for the implementation of a multiprocessor network-on-chip (NoC)-based system, the NoCRay graphic accelerator. The design, based on 16 processors, after prototyping with field-programmable gate array (FPGA), has been laid out in 90-nm technology. Post-layout results show very low power, area, as well as 500 MHz of clock frequency. Results show that an array of small and simple processors outperform a single high-end general purpose processo

Multi-user indoor optical wireless communication system channel control using a genetic algorithm

A genetic algorithm controlled multispot transmitter is demonstrated that is capable of optimising the received power distribution for randomly aligned single element receivers in multiple fully diffuse optical wireless communications systems with multiple mobile users. Using a genetic algorithm to control the intensity of individual diffusion spots, system deployment environment changes, user movement and user alignment can be compensating for, with negligible impact on the bandwidth and root mean square delay spread. It is shown that the dynamic range, referenced against the peak received power, can be reduced up to 27% for empty environments and up to 26% when the users are moving. Furthermore, the effect of user movement, that can perturb the channel up to 8%, can be reduced to within 5% of the optimised case. Compared to alternative bespoke designs that are capable of mitigating optical wireless channel drawbacks, this method provides the possibility of cost-effectiveness for mass-produced receivers in applications where end-user friendliness and mobility are paramount

Peer mediation for conflict management: a Singaporean case study

The burgeoning interest in conflict and its management has recently begun to impact on schools and school systems worldwide. Motivated by a concern for increasing levels of violence in schools and student�student conflict, many school administrators are looking at conflict management programs as a means of dealing with the problem. Most of the more widely used programs have their origins in the United States; their appropriateness and effectiveness in other countries and cultures is, at best, unknown, and in some respects open to conjecture. In this paper the cultural appropriateness of a peer mediation program in a primary school in Singapore is the subject of investigation. The study also addresses, in an exploratory manner, the effectiveness of peer mediation as a mechanism for student�student conflict management

Learning For Life: The Opportunity For Technology To Transform Adult Education - Part II: The Supplier Ecosystem

In fall 2014, Tyton Partners (formerly Education Growth Advisors), with support from the Joyce Foundation, conducted national research on the role and potential of instructional technology in the US adult education field. The objective was to understand the current state of the field with respect to technology readiness and the opportunities and challenges for increasing the use of technology-based instructional models within adult education. The initial publication in the series, "Part I: Interest in and Aptitude for Technology," focused on demand-side dynamics and addressed adult education administrators' and practitioners' perspectives on the role and potential of technology to support their students' needs and objectives. This second publication, "Part 2: The Supplier Ecosystem," highlights market composition and supply-side dynamics, instructional resource use, and opportunities for innovation

量子ドット太陽電池とペロブスカイト太陽電池における界面エンジニアリングと界面電荷移動ダイナミクス

電気通信大学201

Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis

Behavioral synthesis involves compiling an Electronic System-Level (ESL) design into its Register-Transfer Level (RTL) implementation. Loop pipelining is one of the most critical and complex transformations employed in behavioral synthesis. Certifying the loop pipelining algorithm is challenging because there is a huge semantic gap between the input sequential design and the output pipelined implementation making it infeasible to verify their equivalence with automated sequential equivalence checking techniques. We discuss our ongoing effort using ACL2 to certify loop pipelining transformation. The completion of the proof is work in progress. However, some of the insights developed so far may already be of value to the ACL2 community. In particular, we discuss the key invariant we formalized, which is very different from that used in most pipeline proofs. We discuss the needs for this invariant, its formalization in ACL2, and our envisioned proof using the invariant. We also discuss some trade-offs, challenges, and insights developed in course of the project.Comment: In Proceedings ACL2 2014, arXiv:1406.123

High-power AlGaAs channeled substrate planar diode lasers for spaceborne communications

A high power channeled substrate planar AlGaAs diode laser with an emission wavelength of 8600 to 8800 A was developed. The optoelectronic behavior (power current, single spatial and spectral behavior, far field characteristics, modulation, and astigmatism properties) and results of computer modeling studies on the performance of the laser are discussed. Lifetest data on these devices at high output power levels is also included. In addition, a new type of channeled substrate planar laser utilizing a Bragg grating to stabilize the longitudinal mode was demonstrated. The fabrication procedures and optoelectronic properties of this new diode laser are described

Authentic Materials in Extensive Reading Class at Stain Ponorogo

It is widely believed that English Foreign Language (EFL) learners need to develop their language proficiency by getting so much input. Moreover, students need to be familiarized with the real English us­age where real forms of communication and cultural knowledge are crucially exposed. Teaching through authentic materials will make the learners feel that they are learning a real language which is used by the real native speakers for real communication. incorporating au­thentic materials helps students acquire an effective communicative competence in the language focus. The research intended to describe the implementation of authentic materials in extensive reading class, the problems arise and the students' responses toward the authen­tic materials in extensive reading class. The design of the research was Descriptive Qualitative method and the research subject was the lecturer of Extensive Reading class and 33 students in B class of the fourth semester of STAIN Ponorogo who took Extensive Read­ing subject. The instruments used were in the form of observation sheet, interview guideline and questionnaire. The implementation of authentic materials in extensive reading class covered some procedures into three main phases namely (1) Pre­ Activity, (2) Main­ Activity and (3) Post­Activity. The activities in main activity are as follows: (a) Pre­ Activity; (b) Whilst ­Activity; and (3) The language focus stage. There were problems arose during the implementation in terms of complicated planning, more time allocation and some disinterested students. Finally, the students showed significantly positive attitude toward the implementation of authentic materials in extensive reading class