This paper considers synchronous and asynchronous heterogeneous cyclic pursuit in discrete time and obtains results on the consensus of both. It is shown that agents in synchronous heterogeneous ...

RTL sources are present in RTL folder under three flavors: rtl/async_fifo.v: a basic asynchronous dual-clock FIFO; rtl/async_bidir_fifo.v: two instance of the first one into a single top level for ...

Simulated Kalman Filter (SKF) is a population-based optimizer introduced in 2015 that is based on Kalman filtering, which consists of prediction, measurement, and estimation processes. The original ...

For this lab, we will learn to use cocotb as a powerful way to do verification. A template test has already been provided for you in the cocotests directory. Use this template to verify your async ...