Michel Kinsy

Michel Kinsy

orcid

Research Focus & Metrics

Academic Career Length

10Years (2017-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
19 September 2018 in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Verified
Journal Article
Closed access
TYTao Yang
Tao Yang
YWYadong Wei
Yadong Wei
ZTZhijun Tu
Zhijun Tu
HZHaolun Zeng
Haolun Zeng
MKMichel Kinsy
Michel Kinsy
PRPengju Ren
Pengju Ren
The widespread application of artificial neural networks has prompted researchers to experiment with FPGA and customized ASIC designs to speed up their computation. These implementation efforts have generally focused on weight multiplication and signal summation operations, and less on activation functions used in these applications. Yet, efficient hardware implementations of nonlinear activation functions like Exponential Linear Units (ELU), Scaled Exponential Linear Units (SELU), and Hyperbolic Tangent (tanh), are central to designing effective neural network accelerators, since these functions require lots of resources. In this paper, we explore efficient hardware implementations of activation functions using purely combinational circuits, with a focus on two widely used nonlinear activation functions, i.e., SELU and tanh. Our experiments demonstrate that neural networks are generally insensitive to the precision of the activation function. The results also prove that the proposed combinational circuit based approach is very efficient in terms of speed and area, with negligible accuracy loss on the MNIST, CIFAR-10 and ImageNet benchmarks. Synopsys Design Compiler synthesis results show that circuit designs for tanh and SELU can save between ×3.13~×7.69 and ×4.45~×8.45 area compared to the LUT/memory based implementations, and can operate at 5.14GHz and 4.52GHz using the 28nm SVT library, respectively. The implementation is available at: https://github.com/ThomasMrY/ActivationFunctionDemo.

20 May 2019 in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Verified
Journal Article
Closed access
ETEbadollah Taheri
Ebadollah Taheri
MIMihailo Isakov
Mihailo Isakov
APAhmad Patooghy
Ahmad Patooghy
MKMichel Kinsy
Michel Kinsy
Network-on-Chips (NoCs) are vulnerable to transient and permanent faults caused by thermal violations, aging effects, component wear out, or even transient fault sources. Although some of these faults are addressed by previous research, we show that there are reliability threats in 3D NoCs that go beyond the reliability issues investigated in 2D interconnect networks. First, we highlight one such class of reliability threats and discuss their manifestations in 3D NoCs. Second, we propose a thermal, reliability and performance-aware routing algorithm to tackle (i) previously established fault models and (ii) the new highlighted class of reliability threats in partially connected 3D NoCs. The proposed routing algorithm takes into account the states of routers and both the horizontal and Through Silicon Via (TSV) links, along with the temperatures of routers and cores. It then routes the packets around failed or overheated links and routers, achieving lower latencies by avoiding misrouting. To achieve this, the proposed routing algorithm uses the concept of vertical link announcement to inform nodes in the network of the working condition of vertical links. We evaluate the proposed routing algorithm under a wide range of working conditions using the Access Noxim NoC simulator. Results show that the proposed routing algorithm (i) is able to tolerate almost any number and pattern of vertical link failures, (ii) is reliable against the newly identified reliability threats, and (iii) improves the latency and temperature distribution of the network compared to previously proposed routing algorithms.

1 January 2025 in IEEE Access
Verified
Journal Article
Open access
NNNges Brian Njungle
Nges Brian Njungle
EJEric Jahns
Eric Jahns
ZWZhenqi Wu
Zhenqi Wu
LMLuigi Mastromauro
Luigi Mastromauro
Milan StojkovMilan Stojkov
Milan Stojkov
MKMichel Kinsy
Michel Kinsy

1 August 2017
Verified
Conference Paper
Closed access
ETEbadollah Taheri
Ebadollah Taheri
MIMihailo Isakov
Mihailo Isakov
APAhmad Patooghy
Ahmad Patooghy
MKMichel Kinsy
Michel Kinsy
In this paper, we propose an adaptive routing algorithm for vertically partially connected 3D NoCs to (1) overcome failures in vertical links, and (2) find the nearest available vertical link for rerouting of packets. To track the position of each vertical link and distance to the other nodes, the proposed routing algorithm, named Advertiser Elevator, indexes each vertical link and implements a mechanism for announcing and sharing these indexes with the other nodes of the network. Packets are routed toward the nearest vertical link based on received indexes. The routing algorithm tolerates vertical link failures by interpreting the absence of index messages from a vertical link node as a link failure at the node. Packets are rerouted around failed links based on collected messages. The performance of the Advertiser Elevator routing algorithm is evaluated using the Access Noxim NoC simulator under different network congestion levels and fault rates. The results show that the proposed routing algorithm (1) is able to deliver packets as long as there are at least four live vertical links in the network (e.g., corner links) and (2) improves the average network latency by 15% over the well-known Elevator-First routing algorithm.

Verified
Journal Article
Open access
PDF file
PJPeter Jamieson
Peter Jamieson
HLHuan Le
Huan Le
NMNathan Martin
Nathan Martin
TMTyler McGrew
Tyler McGrew
YQYicheng Qian
Yicheng Qian
MKMichel Kinsy
Michel Kinsy
With the growing popularity of RISC-V and various open-source released RISC-V processors, it is now possible for computer engineers students to explore this simple and relevant architecture, and also, these students can explore and design a microcontroller at a low-level using real tool-flows and implement and test their hardware. In this work, we describe our experiences with undergraduate engineers building RISC-V architectures on an FPGA and then extending their experiences to implement an Arduino-like RISC-V tool-flow and the respective hardware and software to handle input-output ports, interrupts, hardware timers, and communication protocols. The microcontroller is implemented on an FPGA as a Senior Design project to test the viability of such efforts. In this work, we will explain how undergraduates can achieve these experiences including preparation for these projects, the tool-flows they use, the challenges in understanding and extending a RISC-V processor with microcontroller functionality, and a suggestion of how to integrate this learning into an existing curriculum, including a discussion on if we should include these deeper experiences in the Computer Engineering undergraduate curriculum.

1 October 2020
Verified
Conference Paper
Closed access
RARashmi Agrawal
Rashmi Agrawal
LBLake Bu
Lake Bu
MKMichel Kinsy
Michel Kinsy
Due to the rapid advances in the development of quantum computers and their susceptibility to errors, there is a renewed interest in error correction algorithms. In particular, error correcting code-based cryptosystems have reemerged as a highly desirable coding technique. This is due to the fact that most classical asymmetric cryptosystems will fail in the quantum computing era. However, code-based cryptosystems are still secure against quantum computers, since the decoding of linear codes remains NP-hard even on these computing systems. One such code-based cryptosystem was proposed by McEliece. The classic McEliece cryptosystem uses binary Goppa code, which is known for its good code rate and error correction capability. However, its key generation and decoding procedures have a high computation complexity. In this work, we propose the design of a public-key encryption and decryption coprocessor based on a new variant of the McEliece cryptosystem. This co-processor takes advantage of non-binary Orthogonal Latin Square Code to achieve much smaller computation complexity and key size. We also propose a hardware-cost efficient, fully-parameterized FPGA-based implementation of the co-processor to perform fast encoding and decoding operations. When compared to an existing classic McEliece cryptosystem, we observe a speed up of about 3.3 ×.