The website with documentation can be found here: http://www.memx-library.org/

The MemX website is online here: http://www.memx-library.org/. A preliminary installation guide, tutorial and documentation are provided.

Dear research community,

It is with great pleasure that I can announce the first release of MemX. I hope that this library will be ever-evolving, resulting in new advances within the realm of both flow-based and path-based computing.

By making MemX available, I hope that other researchers within the EDA and CAD community are inspired to follow in these footsteps to accelerate the research on in-memory computing.

The MemX library will undergo updates in several phases (see below). A more detailed timeline will follow.

1. Code release
2. Documentation using Sphinx
3. Coverage testing and unit testing

Sincerely yours,
Sven

MemX will be released before 31 October 2023. The MemX package will include source code for flow-based computing and path-based computing. The package is developed to enhance the research towards these digital in-memory computing paradigms.

It will feature the following frameworks:

• C²S²
• ISO
• XSAT
• UpTime
• FLOW-3D
• CHECK
• PATH
• COMPACT

Publications:

• Thijssen, S., Rashed, M., Jha, S. K., & Ewetz, R. READ-based In-Memory Computing using Sentential Decision Diagrams. ASP-DAC 2024. (accepted)
• Thijssen, S., Rashed, M., Zheng, H., Jha, S. K., & Ewetz, R. Towards Area-Efficient Path-Based In-Memory Computing using Graph Isomorphisms. ASP-DAC 2024. (accepted)
• Thijssen, S., Rashed, M., Singireddy, S., Jha, S. K., & Ewetz, R. Verification of Flow-Based Computing Systems using Bounded Model Checking. ICCAD 2023. (accepted)
• Thijssen, S., Rashed, M. R. H., Jha, S. K., & Ewetz, R. (2023, July). UpTime: Towards Flow-based In-Memory Computing with High Fault-Tolerance. In 2023 60th ACM/IEEE Design Automation Conference (DAC) (pp. 1-6). IEEE.
• Thijssen, S., Jha, S. K., & Ewetz, R. (2023, January). FLOW-3D: Flow-Based Computing on 3D Nanoscale Crossbars with Minimal Semiperimeter. In Proceedings of the 28th Asia and South Pacific Design Automation Conference (pp. 775-780).
• Thijssen, S., Jha, S. K., & Ewetz, R. (2022, October). Equivalence Checking for Flow-Based Computing. In 2022 IEEE 40th International Conference on Computer Design (ICCD) (pp. 656-663). IEEE.
• Thijssen, S., Jha, S. K., & Ewetz, R. (2022, July). Path: Evaluation of boolean logic using path-based in-memory computing. In Proceedings of the 59th ACM/IEEE Design Automation Conference (pp. 1129-1134). Publicity Paper
• Thijssen, S., Jha, S. K., & Ewetz, R. (2021). Compact: Flow-based computing on nanoscale crossbars with minimal semiperimeter and maximum dimension. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 41(11), 4600-4611.
• Thijssen, S., Jha, S. K., & Ewetz, R. (2021). COMPACT: Flow-Based Computing on Nanoscale Crossbars with Minimal Semiperimeter. In 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE) (pp. 232-237). IEEE. Nominated for Best Paper Award

Best regards,
Sven Thijssen