001023855 001__ 1023855
001023855 005__ 20250203103438.0
001023855 0247_ $$2doi$$a10.1109/IEDM45741.2023.10413853
001023855 037__ $$aFZJ-2024-01857
001023855 041__ $$aEnglish
001023855 1001_ $$0P:(DE-HGF)0$$aPedretti, G.$$b0
001023855 1112_ $$a2023 International Electron Devices Meeting (IEDM)$$cSan Francisco$$d2023-12-09 - 2023-12-13$$wUSA
001023855 245__ $$aZeroth and higher-order logic with content addressable memories
001023855 260__ $$bIEEE$$c2023
001023855 300__ $$a1-4
001023855 3367_ $$2ORCID$$aCONFERENCE_PAPER
001023855 3367_ $$033$$2EndNote$$aConference Paper
001023855 3367_ $$2BibTeX$$aINPROCEEDINGS
001023855 3367_ $$2DRIVER$$aconferenceObject
001023855 3367_ $$2DataCite$$aOutput Types/Conference Paper
001023855 3367_ $$0PUB:(DE-HGF)8$$2PUB:(DE-HGF)$$aContribution to a conference proceedings$$bcontrib$$mcontrib$$s1710306779_30008
001023855 520__ $$aContent Addressable Memories (CAMs) are attracting interest as in-memory computational primitives, thanks to the massively parallel search operation. Multiple flavors of CAMs have been realized with nanoscale memory technology, pushing their performance towards low power and latency. In this work, we demonstrate how to use CAMs for asserting and solving zeroth order and higher-order logic, in the form of Boolean satisfiability (SAT) and satisfiability modulo theories (SMT), respectively. We demonstrate a ~6.5× lower area and ~4× lower energy per search compared with state-of-the-art in-memory optimization problem solvers, such as Hopfield Neural Network (HNN), with up to 175× faster time-to-solution for problems with 150 variables.
001023855 536__ $$0G:(DE-HGF)POF4-5234$$a5234 - Emerging NC Architectures (POF4-523)$$cPOF4-523$$fPOF IV$$x0
001023855 588__ $$aDataset connected to DataCite
001023855 7001_ $$0P:(DE-HGF)0$$aBöhm, F.$$b1
001023855 7001_ $$0P:(DE-Juel1)190961$$aHizzani, M.$$b2$$ufzj
001023855 7001_ $$0P:(DE-HGF)0$$aBhattacharya, T.$$b3
001023855 7001_ $$0P:(DE-HGF)0$$aBruel, P.$$b4
001023855 7001_ $$0P:(DE-HGF)0$$aMoon, J.$$b5
001023855 7001_ $$0P:(DE-HGF)0$$aSerebryakov, S.$$b6
001023855 7001_ $$0P:(DE-HGF)0$$aStrukov, D.$$b7
001023855 7001_ $$0P:(DE-Juel1)188145$$aStrachan, J. P.$$b8$$ufzj
001023855 7001_ $$0P:(DE-HGF)0$$aIgnowski, J.$$b9
001023855 7001_ $$0P:(DE-HGF)0$$aVan Vaerenbergh, T.$$b10
001023855 7001_ $$0P:(DE-HGF)0$$aBeausoleil, R.$$b11
001023855 7001_ $$0P:(DE-HGF)0$$aMohseni, M.$$b12
001023855 773__ $$a10.1109/IEDM45741.2023.10413853
001023855 8564_ $$uhttps://juser.fz-juelich.de/record/1023855/files/2023%20IEDM%20Pedretti%20Zeroth_and_higher-order_logic_with_content_addressable_memories.pdf$$yRestricted
001023855 8564_ $$uhttps://juser.fz-juelich.de/record/1023855/files/2023%20IEDM%20Pedretti%20Zeroth_and_higher-order_logic_with_content_addressable_memories.gif?subformat=icon$$xicon$$yRestricted
001023855 8564_ $$uhttps://juser.fz-juelich.de/record/1023855/files/2023%20IEDM%20Pedretti%20Zeroth_and_higher-order_logic_with_content_addressable_memories.jpg?subformat=icon-1440$$xicon-1440$$yRestricted
001023855 8564_ $$uhttps://juser.fz-juelich.de/record/1023855/files/2023%20IEDM%20Pedretti%20Zeroth_and_higher-order_logic_with_content_addressable_memories.jpg?subformat=icon-180$$xicon-180$$yRestricted
001023855 8564_ $$uhttps://juser.fz-juelich.de/record/1023855/files/2023%20IEDM%20Pedretti%20Zeroth_and_higher-order_logic_with_content_addressable_memories.jpg?subformat=icon-640$$xicon-640$$yRestricted
001023855 909CO $$ooai:juser.fz-juelich.de:1023855$$pVDB
001023855 9101_ $$0I:(DE-588b)5008462-8$$6P:(DE-Juel1)190961$$aForschungszentrum Jülich$$b2$$kFZJ
001023855 9101_ $$0I:(DE-588b)5008462-8$$6P:(DE-Juel1)188145$$aForschungszentrum Jülich$$b8$$kFZJ
001023855 9131_ $$0G:(DE-HGF)POF4-523$$1G:(DE-HGF)POF4-520$$2G:(DE-HGF)POF4-500$$3G:(DE-HGF)POF4$$4G:(DE-HGF)POF$$9G:(DE-HGF)POF4-5234$$aDE-HGF$$bKey Technologies$$lNatural, Artificial and Cognitive Information Processing$$vNeuromorphic Computing and Network Dynamics$$x0
001023855 9141_ $$y2024
001023855 920__ $$lyes
001023855 9201_ $$0I:(DE-Juel1)PGI-14-20210412$$kPGI-14$$lNeuromorphic Compute Nodes$$x0
001023855 980__ $$acontrib
001023855 980__ $$aVDB
001023855 980__ $$aI:(DE-Juel1)PGI-14-20210412
001023855 980__ $$aUNRESTRICTED