United States

VeriGOOD-ML is an automated methodology for generating machine learning (ML) hardware for DNN and non-DNN ML algorithms. The VeriGOOD-ML generator takes as input a high-level description of an ML algorithm in a standard format such as ONNX, and outputs Verilog RTL code, with no human in the loop. The Verilog RTL is then translated through a back-end design flow to GDSII, driven by a design planning approach that is well tailored to the macro-intensive nature of ML platforms. VeriGOOD-ML uses three approaches to build ML hardware: (1) the TABLA platform uses a dataflow architecture that is well suited to non-DNN ML algorithms; (2) the GeneSys platform, with a systolic array and a SIMD array, is optimized for implementing DNNs; and (3) the Axiline approach synthesizes small ML algorithms by hardcoding the structure of the algorithm into hardware, thus trading off flexibility for performance and power.

The Verilog generator is complemented by an approach that performs design space exploration of the configurations of each hardware engine to determine the best implementation of the hardware. The performance metrics of the implemented hardware are significantly affected by the configuration of the hardware platform and the physical implementation from RTL to GDS. Key metrics include the power, performance, and area (PPA) of the hardware engine, and the power, execution time, and accuracy of the ML algorithm at the system level. The talk overviews the overall methodology, from architecture to back-end design to hardware implementation, and presents the results of VeriGOOD-ML on a set of ML benchmarks.

NAML 2022

Physically-aware Automated ML Hardware Generation using VeriGOOD-ML

ml hardware compiler

physical design

ml accelerator

 Electronic design and design automation (EDA) is a key enabling technology in the advancement of information processing that we are enjoying today. EDA has provided fundamental design principles and tools empowering the exponential growth of the number of transistors on an integrated circuit chip over the past 50 years. Without EDA, it would not have been possible for billion-transistor chips to be a reality! 

After five decades of growth, the field of EDA now faces some unique challenges. On one hand, we are approaching the physical limit of transistor scaling, and the golden days of exponential growth in transistor density are over. The exorbitant cost of integrated circuit fabrication and the excessive complexity of EDA tools make it difficult to bring design automation innovations to practice. On the other hand, the recent rise of machine learning and artificial intelligence applications and emerging architectures and technologies calls for more customized solutions to designing electronic systems. 

## **Objectives of the Workshop:**

This workshop, funded by the National Science Foundation (NSF), will assemble a diverse group of leading researchers from both academia and industry to identify future research directions in design and design automation of electronic systems and architectures in response to the challenges and opportunities. It will feature plenary talks and panels as well as roundtable discussions. Collectively, the workshop attendees will explore answers to overarching questions such as 

•	what are the high-risk and high-return research topics, 

•	what other fields adjacent to EDA research should be aggressively pursued for highly interdisciplinary collaboration, and

•	where the research funding should come from and how it should be distributed to encourage more transformative research. 

The workshop will also include a satellite event with a roundtable panel discussion on strategies to improve foundry access to US-based EDA researchers. A final report, based on the deliberations of the workshop, will be produced to the government recommending future research directions.


NSF Workshop on Micro/Nano Circuits and Systems Design

technical paper

Naval Information Warfare Center Pacific is partnering with AFCEA San Diego chapter to host the workshop.

The NAML workshop is an opportunity for researchers from Navy research and development centers and our partner organizations to exchange technical ideas and to come together as a team.

The goals of NAML are:

To spread awareness of current machine learning research relevant to Naval applications

To connect machine learning researchers with experts in military requirements

To build and strengthen collaborations within the defense research community


<figure class="video_container">
  <iframe src="https://s3.amazonaws.com/pf-user-files-01/u-59356/uploads/2022-03-22/hk13mxo/NAML_ReceptionWithtitle.mp4" width=826  height=526  frameborder="0" allowfullscreen="true"> </iframe>
</figure>

Please log in to explore this event. You need to log in with the email address you registered with. Access credentials have been sent to your email. 

Please be sure to check your spam and other email folders if you do not see an email confirmation right away.

Please log in to explore this event.

Registration for this workshop has now closed. We appreciate your interest and hope to welcome you at a future event. If you’d like to hear about similar upcoming events, please check our website or join our mailing list.

Registration for this workshop has now closed.

Naval Information Warfare Center Pacific is partnering with AFCEA San Diego chapter to host the workshop. The NAML workshop is an opportunity for researchers from Navy research and development centers and our partner organizations to exchange technical ideas and to come together as a team.

The goals of NAML are:

To spread awareness of current machine learning research relevant to Naval applications

To connect machine learning researchers with experts in military requirements

To build and strengthen collaborations within the defense research community



Current approaches for handling machinery control system (MCS) faults on unmanned surface vessels (USVs) are based on guidance and thresholds selected by subject matter experts. While this can be a robust method, it requires significant human input and validation testing in expected operating conditions. To provide vessels with greater autonomy, data driven approaches for MCS faults are of interest. Data driven approaches based on AI/ML, besides saving both time and money, may provide a constructive means to learn from past experience, learn new insights, and optimally handle faults based on the current environment and conditions (e.g. vessel speed, payload, or sea state). One significant challenge with using AI/ML approaches for fault handling is the issue of class balance – in general, one may have limited realizations or samples of a given fault. In order to positively utilize data from previous successful test events, this work proposes the casting the problem of fault detection as an outlier detection problem. By building a healthy state model, detection of deviations from the nominal state provide a means to recognize new or novel operating conditions or the failure or degradation of a given subsystem. By quantifying and tracking the healthy state, long-term trends and typical behavior can be identified. These metrics could also be used to schedule inspections and maintenance based on the condition of the vessel as opposed to predetermined ones. With most outlier detection methods, typically a given threshold probability needs to be selected. Optimal selection of this threshold requires observations of such an outlier. Given that many of the sensors used to trigger hull, mechanical, and electrical (HM&E) faults are sensors with stochastic components (e.g. temperature, pressure, etc.), this work focuses on providing the probability of observing a given sensor reading or fault based on prior measurements. Quantile regression forests (QRF) provide a means to identify outliers, produces measurement statistics, and handle the randomness associated with HM&E sensors. Given time, other AI/ML approaches may be compared to QRF. As many vessels have separate MCS for each subsystem, data engineering is needed to aggregate, synchronize, and decimate data as a preprocessing step. With no further preprocessing, preliminary work has found QRF to be useful to identity component failure. Future efforts plan to scale the training test set to aid in generating long-term trend and statistics and establishing a healthy baseline.

Application of AI/ML to Improve Unmanned Surface Vessel Machinery Control System Fault Handling

Autonomous systems, including self-driving cars and unmanned underwater/surface/ground/air/space vehicles, have caught the imagination of the press, the public, and personnel of the U.S. Department of Defense (DoD). Moreover, these systems increasingly harness the power of Artificial Intelligence and Machine Learning (AI/ML), more specifically Deep Learning (DL), for their operation. The stunning performance of deep learning algorithms in comparison to extant methods, including pattern matching, computational linguistics, statistical inferencing, and legacy machine-learning, has taken the world by storm. However, adoption of such systems in safety-critical applications has been the subject of intense debate and scrutiny, because of the propensity of these algorithms for erroneous operation, such as misdirection with seemingly innocuous signage, and their vulnerability to data poisoning and data sparsity attacks, leading to incorrect operation which can be both embarrassing and damaging. This has naturally led the DoD community to ask, “How do we harness this technology being unleashed upon the world, and yet keep our nation and warfighters safe?” Before we answer this question, however, it is important to note that trust is integral to DoD systems, including autonomous systems, and ensuring reliable system operations is paramount. Therefore, we need strategies to equip the DoD to design, build, deploy, and sustain autonomous systems that are trustworthy, secure, reliable, and dependable. In this paper, we investigate issues leading to poor performance and lack of robustness of autonomous systems based on machine learning, and discuss the state of the art for their mitigation.

Assuring Autonomous Cyber Physical Data Driven Systems (AA-CPDDS)

Autonomous Systems consist of different systems working together so they can sense, plan, and act to a dynamic environment. There is much confusion on what autonomous systems are. This session will explain what autonomous systems are and how machine teaching and simulation can collaborate to create autonomous systems. Machine Teaching is critical to autonomous systems. It is based on reinforcement learning. The differences between machine teaching and machine learning will also be clarified.

Understanding Autonomous Systems

Reinforcement learning (RL) is an effective method for solving problems that require autonomous agents to learn the best way to act in complex environments. RLlib is a powerful tool for applying reinforcement learning to problems where there are multiple agents or when agents must take on multiple roles. There exist many resources for learning about RLlib from a theoretical or academic perspective, but there is a lack of materials for learning how to use RLlib to solve your own practical problems. This tutorial helps to fill that gap. We show you how to apply reinforcement learning to your problem by taking you through a custom environment and demonstrating how to apply RLlib to that environment. We make the code available on GitHub.

Tutorial: RLlib for Deep Hierarchical Multiagent Reinforcement Learning

Although Convolutional Neural Networks (CNNs) achieve high accuracy on image recognition tasks, they lack robustness against realistic corruptions and fail catastrophically when deliberately attacked. Previous work suggests that CNNs with representations similar to primary visual cortex (V1) are more robust to adversarial attacks on images than current adversarial defense techniques. However, these approaches require training on large-scale neural recordings or handcrafting classical neuroscientific models. Motivated by long-standing evidence that neural activity in V1 and other sensory areas is sparse, we develop a class of hybrid CNNs, called LCANets, which feature a frontend with recurrent lateral competition. We demonstrate competitive accuracy of LCANets on action recognition datasets and show that LCANets are significantly more robust to image corruptions and adversarial examples than both standard CNNs and adversarially-trained CNNs. Our results demonstrate that recurrent lateral competition plays a large role in forming sparse and robust V1-like representations when incorporated into CNNs.

CNNs With a Neuromorphic Sparse Coding Frontend are More Robust to Adversarial Attacks

Today, essentially all computing is done with Boolean logic and binary numbers, requiring all manner of error correction codes to keep the most significant bits straight. But in the realm of machine learning, what if instead every bit was equally (in)significant? Consider two randomly generated strings thousands of zeros and ones long, about 50/50 split. Normally, about half the bits will be different between the two strings. If the number of differences is less than half though, the strings as a whole must be related. Even a large number of errant bits will not change the strings’ similarity. This creation and measurement of similarity between very large strings of bits (or numbers) is called hyperdimensional computing (HDC). 

Though not quantum mechanical, a kind of superposition of information across each of the thousands of bits enables machine learning capabilities even Deep Neural Networks (DNN) struggle with, such as learning from a single example or combining the learning from several different sensor modalities. One can even dynamically reprogram swarms of robots in a contested environment – the new program intelligible from a single binary string even with 30-50% noise.

What if we started training artificial neural networks (ANN) to learn and recall these strings: not memorizating or autoencoding but rather “resonating” like a tuning fork? This “resonance” training paradigm suddenly enables even more capabilities not possible with traditional DNNs today such as learning new categories “on the fly” without retraining the whole network from scratch. Such attractor state networks (ASN) lend themselves to modular design, allowing new categories to be added or shared amongst other ASNs. This combining of HDC with “resonance” ANNs is a potential game changer for machine learning, establishing mathematically rigorous engineering design rules instead of the unintelligible black boxes of DNNs today.

Hyperdimensional computing can be implemented in traditional computing hardware, but large size, weight, and power savings are possible by including memristors crossbars into the ML ensemble. The Pipeline for Novel Neuromorphic Hardware (NeuroPipe) Applied Research for Advancement of Priorities (ARAP) is working to bring not only novel neuromorphic computing hardware like memristors to the field but also develop the next generation of machine learning algorithms such as these.


NeuroPipe ARAP Hardware & Algorithms


Robots are increasingly deployed to solve complex real-world tasks that require  continuous processing of their observations only to be constrained by their on-board resources.  Energy-efficient control of mobile robots is one of the limiting factor in having robots deployed  to perform in-space assembly of structures. Spiking Neural Networks (SNNs) deployed on  neuromorphic processors provide an energy-efficient solution that could also facilitate building  intelligence similar to living creatures for robots. 
Neuromorphic architectures imitate the behavior and function of biological nervous  systems by implementing networks of artificial neurons and synapses that benefit from low  power consumption. These computing platforms emulate their biological counterparts by  distributing both computation and memory among a large number of computation units, each  passing information, via asynchronous spikes, to hundreds or thousands of other computational  units, like neurons would do through synapses. 
Over time, different digital neuromorphic architectures like Intel’s neuromorphic  technology, code named Loihi [1], have replicated many characteristics of SNNs in hardware.  Despite the advantages of neuromorphic hardware (e.g., high speed and energy efficiency)  there are few algorithms that utilize it for in situ robot control. Recent work by Michaelis et al. [2], proved the theoretical feasibility of using Intel’s neuromorphic technology for trajectory  generation on hardware, but fails to employ the strategy with robotic hardware (simulated or in  situ). Michaelis’ work presents a biologically plausible approach that also promised a control  relevant timescale.  
His work is based on Reservoir Computing, specifically, Liquid State Machines,  implemented as biologically plausible anisotropic networks. In Michaelis’ work for trajectory  generation, the liquid layer is implemented as an anisotropic network, based on a biologically  
inspired rule for forming spatially asymmetric non-plastic connections, similar to the ones that  have been observed to activate in human and mammal brains [3]. It is believed that correlated  spatial anisotropic connectivity is what makes learning faster and more efficient. Michaelis et 
Distribution A — Approved for public release, distribution is unlimited 
al. [2], make use of this anisotropic network idea from Spreizer et al. [3] and show the feasibility  of using an architecture that integrates it for trajectory generation.  
In this work we close the gap between theoretical formulation and practical applications  by implementing the missing components to enable Kinova Gen3, a 7 degree of freedom  robotic arm, to use this type of neural network on Intel Kapho Bay Loihi for trajectory  generation.  
Demonstrating neuromorphic capabilities for robotic control is of high interest at NRL  due to the appeal of high performance and energy efficiency that neuromorphic hardware  presents. The success of this strategy has a big impact on different projects at NRL that are investigating: neuromorphically controlled multi-limbed robotic systems for Naval ship  maintenance tasks, neuromorphically controlled multi-limbed space truss walking robot that  can autonomously assemble truss elements to construct large space structures in orbit, and the  capabilities of memristor-based neuromorphic processors. 

References: 

[1] Davies, M., Srinivasa, N., Lin, T.-H., Chinya, G., Cao, Y., Choday, S. H., et al. “Loihi: a  neuromorphic manycore processor with on-chip learning.” IEEE Micro (2018). 
[2] Michaelis, Carlo, Andrew B. Lehr, and Christian Tetzlaff. “Robust trajectory generation for  robotic control on the neuromorphic research chip Loihi.” Frontiers in neurorobotics 14 (2020). 
[3] Spreizer, Sebastian, Ad Aertsen, and Arvind Kumar. “From space to time: Spatial  inhomogeneities lead to the emergence of spatiotemporal sequences in spiking neuronal  networks.” PLoS computational biology 15.10 (2019).
Distribution A — Approved for public release, distribution is unlimited 
*

Neuromorphic Hardware Anisotropic Reservoir Trajectory Generation and execution with Robotic Arm

In this work we present a spiking neural network for the adaptive control of a simulated Kinova Gen3 7-DOF arm. This work extends the Recurrent Error-driven Adaptive Control Hierarchy (REACH), developed as a computational model of the primate motor control system, which had previously been implemented for the operational space control of a 3-DOF arm restricted to the horizontal plane. The REACH model is divided into kinematics control, responsible for transforming the control signal from end-effector (hand) space to joint-space, and dynamics control, responsible for accounting for the effects of gravity and inertia on the system. Additionally, a nonlinear adaptive control component learns online to correct for errors that arise during movement as a result of internal model inaccuracies or external perturbations. Due to the increased complexity of the 7-DOF system, the process for training the REACH model required a different approach than the 3-DOF implementation. Here, we utilize a hybrid approach to training that takes advantage of both deep learning and the circuit building methods from the Neural Engineering Framework (NEF). The NEF allows us to both quickly build highly optimized components performing computations on low-dimensional input, as well as integrate these networks directly with those trained using deep learning, which provides a more exhaustive sampling of high-dimensional state space. We analyze the performance of the spiking control network on a benchmark task compared to both an analytic controller and a rate-mode version of the control network. Lastly, we discuss the process of training the network to run on the highly-efficient neuromorphic chip from Intel, the Loihi, and provide initial results from simulation in a Loihi emulator.

Adaptive spiking control of a 7 DOF arm

Synaptic plasticity poses itself as a powerful method of self-regulated unsupervised learning in neural networks. A recent resurgence of interest has developed in utilizing Artificial Neural Networks (ANNs) together with synaptic plasticity for intra-lifetime learning. Plasticity has been shown to improve the learning capabilities of these networks in generalizing to novel environmental circumstances. However, the long-term stability of these trained networks has yet to be examined. This work demonstrates that utilizing plasticity together with ANNs leads to instability beyond the pre-specified lifespan used during training. This instability can lead to the dramatic decline of reward seeking behavior, or quickly lead to reaching environment terminal states. This behavior is shown to hold consistent for several plasticity rules on two different environments across many training time-horizons: a cart-pole balancing problem and a quadrupedal locomotion problem. We present a solution to this instability through the use of spiking neurons.

Stable Lifelong Learning: Spiking neurons as a solution to instability in plastic neural networks

DARPA’s Real Time Machine Learning (RTML) program seeks to reduce the design costs associated with developing ASICs tailored for emerging ML applications by developing a means of automatically generating novel chip designs based on ML frameworks. The goal of the RTML program is to create a compiler – or software platform – that can ingest ML frameworks like TensorFlow and Pytorch and, based on the objectives of the specific ML algorithms or systems, generate hardware design configurations and standard Verilog code optimized for the specific need. Throughout the lifetime of the program, RTML will explore the compiler’s capabilities across two critical, high-bandwidth application areas: 5G networks and image processing.

Premium content

Downloads

Next from NAML 2022

Application of AI/ML to Improve Unmanned Surface Vessel Machinery Control System Fault Handling

Similar lecture

AI/ML and other hardware design