Programmable Assembly With Universally Foldable Strings (Moteins)
Cheung, K. C., Demaine, E. D., Bachrach, J. R., Griffith, S.
Published in IEEE transactions on robotics (01.08.2011)
Published in IEEE transactions on robotics (01.08.2011)
Get full text
Journal Article
Efficient sampling of SAT solutions for testing
Dutra, Rafael, Laeufer, Kevin, Bachrach, Jonathan, Sen, Koushik
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) (27.05.2018)
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) (27.05.2018)
Get full text
Conference Proceeding
RFUZZ: Coverage-Directed Fuzz Testing of RTL on FPGAs
Laeufer, Kevin, Koenig, Jack, Kim, Donggyu, Bachrach, Jonathan, Sen, Koushik
Published in 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2018)
Published in 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2018)
Get full text
Conference Proceeding
Reusability is FIRRTL ground: Hardware construction languages, compiler frameworks, and transformations
Izraelevitz, Adam, Koenig, Jack, Li, Patrick, Lin, Richard, Wang, Angie, Magyar, Albert, Donggyu Kim, Schmidt, Colin, Markley, Chick, Lawson, Jim, Bachrach, Jonathan
Published in 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2017)
Published in 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2017)
Get full text
Conference Proceeding
Accessible, FPGA Resource-Optimized Simulation of Multiclock Systems in FireSim
Biancolin, David, Magyar, Albert, Karandikar, Sagar, Amid, Alon, Nikolic, Borivoje, Bachrach, Jonathan, Asanovic, Krste
Published in IEEE MICRO (01.07.2021)
Published in IEEE MICRO (01.07.2021)
Get full text
Journal Article
Composable continuous-space programs for robotic swarms
Bachrach, Jonathan, Beal, Jacob, McLurkin, James
Published in Neural computing & applications (01.09.2010)
Published in Neural computing & applications (01.09.2010)
Get full text
Journal Article
SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
Dutra, Rafael, Bachrach, Jonathan, Sen, Koushik
Published in 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2018)
Published in 2018 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2018)
Get full text
Conference Proceeding
FireSim: FPGA-Accelerated Cycle-Exact Scale-Out System Simulation in the Public Cloud
Karandikar, Sagar, Mao, Howard, Kim, Donggyu, Biancolin, David, Amid, Alon, Lee, Dayeol, Pemberton, Nathan, Amaro, Emmanuel, Schmidt, Colin, Chopra, Aditya, Huang, Qijing, Kovacs, Kyle, Nikolic, Borivoje, Katz, Randy, Bachrach, Jonathan, Asanovic, Krste
Published in 2018 ACM/IEEE 45th Annual International Symposium on Computer Architecture (ISCA) (01.06.2018)
Published in 2018 ACM/IEEE 45th Annual International Symposium on Computer Architecture (ISCA) (01.06.2018)
Get full text
Conference Proceeding
Chisel: constructing hardware in a Scala embedded language
Bachrach, Jonathan, Vo, Huy, Richards, Brian, Lee, Yunsup, Waterman, Andrew, Avižienis, Rimas, Wawrzynek, John, Asanović, Krste
Published in DAC Design Automation Conference 2012 (03.06.2012)
Published in DAC Design Automation Conference 2012 (03.06.2012)
Get full text
Conference Proceeding
Simultaneous localization, calibration, and tracking in an ad hoc sensor network
Taylor, Christopher, Rahimi, Ali, Bachrach, Jonathan, Shrobe, Howard, Grue, Anthony
Published in 2006 5th International Conference on Information Processing in Sensor Networks (01.01.2006)
Published in 2006 5th International Conference on Information Processing in Sensor Networks (01.01.2006)
Get full text
Conference Proceeding
An Agile Approach to Building RISC-V Microprocessors
Yunsup Lee, Waterman, Andrew, Cook, Henry, Zimmer, Brian, Keller, Ben, Puggelli, Alberto, Kwak, Jaehwa, Jevtic, Ruzica, Bailey, Stevo, Blagojevic, Milovan, Pi-Feng Chiu, Avizienis, Rimas, Richards, Brian, Bachrach, Jonathan, Patterson, David, Alon, Elad, Nikolic, Bora, Asanovic, Krste
Published in IEEE MICRO (01.03.2016)
Published in IEEE MICRO (01.03.2016)
Get full text
Journal Article
A Hardware Accelerator for Computing an Exact Dot Product
Koenig, Jack, Biancolin, David, Bachrach, Jonathan, Asanovic, Krste
Published in 2017 IEEE 24th Symposium on Computer Arithmetic (ARITH) (01.07.2017)
Published in 2017 IEEE 24th Symposium on Computer Arithmetic (ARITH) (01.07.2017)
Get full text
Conference Proceeding
Golden Gate: Bridging The Resource-Efficiency Gap Between ASICs and FPGA Prototypes
Magyar, Albert, Biancolin, David, Koenig, John, Seshia, Sanjit, Bachrach, Jonathan, Asanovic, Krste
Published in 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2019)
Published in 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) (01.11.2019)
Get full text
Conference Proceeding
A Mixed-Signal RISC-V Signal Analysis SoC Generator With a 16-nm FinFET Instance
Bailey, Steven, Rigge, Paul, Han, Jaeduk, Lin, Richard, Chang, Eric Y., Mao, Howard, Wang, Zhongkai, Markley, Chick, Izraelevitz, Adam M., Wang, Angie, Narevsky, Nathan, Bae, Woorham, Shauck, Steve, Montano, Sergio, Norsworthy, Justin, Razzaque, Munir, Ma, Wen Hau, Lentiro, Akalu, Doerflein, Matthew, Heckendorn, Darin, McGrath, Jim, DeSeta, Franco, Shoham, Ronen, Stellfox, Mike, Snowden, Mark, Cole, Joseph, Fuhrman, Daniel R., Richards, Brian, Bachrach, Jonathan, Alon, Elad, Nikolic, Borivoje
Published in IEEE journal of solid-state circuits (01.10.2019)
Published in IEEE journal of solid-state circuits (01.10.2019)
Get full text
Journal Article
A generator of memory-based, runtime-reconfigurable 2N3M5K FFT engines
Wang, Angie, Bachrach, Jonathan, Nikolie, Borivoje
Published in 2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) (01.03.2016)
Published in 2016 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) (01.03.2016)
Get full text
Conference Proceeding
Journal Article
FireSim: FPGA-Accelerated Cycle-Exact Scale-Out System Simulation in the Public Cloud
Karandikar, Sagar, Mao, Howard, Kim, Donggyu, Biancolin, David, Amid, Alon, Lee, Dayeol, Pemberton, Nathan, Amaro, Emmanuel, Schmidt, Colin, Chopra, Aditya, Huang, Qijing, Kovacs, Kyle, Nikolic, Borivoje, Katz, Randy Howard, Bachrach, Jonathan, Asanovic, Krste
Published in IEEE MICRO (01.05.2019)
Published in IEEE MICRO (01.05.2019)
Get full text
Journal Article
Invited: Open-Source EDA Tools and IP, A View from the Trenches
Alon, Elad, Asanovic, Krste, Bachrach, Jonathan, Nikolic, Borivoje
Published in 2019 56th ACM/IEEE Design Automation Conference (DAC) (01.06.2019)
Published in 2019 56th ACM/IEEE Design Automation Conference (DAC) (01.06.2019)
Get full text
Conference Proceeding
Invited: Chipyard - An Integrated SoC Research and Implementation Environment
Amid, Alon, Biancolin, David, Gonzalez, Abraham, Grubb, Daniel, Karandikar, Sagar, Liew, Harrison, Magyar, Albert, Mao, Howard, Ou, Albert, Pemberton, Nathan, Rigge, Paul, Schmidt, Colin, Wright, John, Zhao, Jerry, Bachrach, Jonathan, Shao, Sophia, Nikolic, Borivoje, Asanovic, Krste
Published in 2020 57th ACM/IEEE Design Automation Conference (DAC) (01.07.2020)
Published in 2020 57th ACM/IEEE Design Automation Conference (DAC) (01.07.2020)
Get full text
Conference Proceeding
Strober: Fast and Accurate Sample-Based Energy Simulation for Arbitrary RTL
Donggyu Kim, Izraelevitz, Adam, Celio, Christopher, Hokeun Kim, Zimmer, Brian, Yunsup Lee, Bachrach, Jonathan, Asanovicc, Krste
Published in 2016 ACM/IEEE 43rd Annual International Symposium on Computer Architecture (ISCA) (01.06.2016)
Published in 2016 ACM/IEEE 43rd Annual International Symposium on Computer Architecture (ISCA) (01.06.2016)
Get full text
Conference Proceeding