Academic literature on the topic 'BDD Based Synthesis Flow'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'BDD Based Synthesis Flow.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "BDD Based Synthesis Flow"
Silva, Amanda Araújo, Romário Araújo Pinheiro, Cláudia do Amaral Razzino, André Contin, Vladimir Jesus Trava-Airoldi, and Evaldo José Corat. "Synthesis and Characterization of Carbon Fiber Based Porous CNTs-RGO/BDD for Application as Microelectrodes." MRS Advances 2, no. 41 (2017): 2247–52. http://dx.doi.org/10.1557/adv.2017.334.
Full textMilik, Adam, Marcin Kubica, and Dariusz Kania. "Reconfigurable Logic Controller—Direct FPGA Synthesis Approach." Applied Sciences 11, no. 18 (2021): 8515. http://dx.doi.org/10.3390/app11188515.
Full textWille, Robert, and Rolf Drechsler. "BDD-Based Synthesis of Reversible Logic." International Journal of Applied Metaheuristic Computing 1, no. 4 (2010): 25–41. http://dx.doi.org/10.4018/jamc.2010100102.
Full textVemuri, Navin, Priyank Kalla, and Russell Tessier. "BDD-based logic synthesis for LUT-based FPGAs." ACM Transactions on Design Automation of Electronic Systems 7, no. 4 (2002): 501–25. http://dx.doi.org/10.1145/605440.605442.
Full textOpara, Adam, and Dariusz Kania. "Decomposition-based logic synthesis for PAL-based CPLDs." International Journal of Applied Mathematics and Computer Science 20, no. 2 (2010): 367–84. http://dx.doi.org/10.2478/v10006-010-0027-1.
Full textYun, K. Y., B. Lin, D. L. Dill, and S. Devadas. "BDD-based synthesis of extended burst-mode controllers." IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 17, no. 9 (1998): 782–92. http://dx.doi.org/10.1109/43.720315.
Full textKao, Chi-Chou. "BDD-based synthesis for mixed CMOS/PTL logic." International Journal of Circuit Theory and Applications 39, no. 9 (2010): 923–32. http://dx.doi.org/10.1002/cta.676.
Full textSafari, Mojdeh, Amir Amani, Tajudeen Adebileje, et al. "Preparation of All-Trans-Retinoic Acid-Loaded mPEG-PLGA Nanoparticles Using Microfluidic Flow-Focusing Device for Controlled Drug Delivery." Nano 15, no. 08 (2020): 2050101. http://dx.doi.org/10.1142/s1793292020501015.
Full textKubica, Marcin, Adam Opara, and Dariusz Kania. "Logic synthesis for FPGAs based on cutting of BDD." Microprocessors and Microsystems 52 (July 2017): 173–87. http://dx.doi.org/10.1016/j.micpro.2017.06.010.
Full textNi, Haiyan, Jianping Hu, Xuqiang Zhang, and Haotian Zhu. "BDD-Based Topology Optimization for Low-Power DTIG FinFET Circuits." Active and Passive Electronic Components 2019 (July 18, 2019): 1–9. http://dx.doi.org/10.1155/2019/8292653.
Full textDissertations / Theses on the topic "BDD Based Synthesis Flow"
Chakkaravarthy, Manoj. "BDD Based Synthesis Flow for Design of DPA Resistant Cryptographic Circuits." University of Cincinnati / OhioLINK, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1330025314.
Full textQian, Zizheng. "Synthesis of pharmaceutical molecules using flow based chemical processing." Thesis, University of Cambridge, 2012. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.610172.
Full textChanna, Sikandar Ali. "Synthesis of Ti-based nanoparticles in continuous flow microreactors." Thesis, Nantes, 2017. http://www.theses.fr/2017NANT4067/document.
Full textMong, Surin Khai. "Investigation and application of heterochiral proteins enabled by flow-based peptide synthesis." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/113494.
Full textKnight, Jane. "A geographical information system-based synthesis of the Labrador Sector of the Laurentide Ice Sheet." Thesis, University of Sheffield, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.265578.
Full textYAMAMOTO, Shuichiro. "Reconstructing Data Flow Diagrams from Structure Charts Based on the Input and Output Relationship." Institute of Electronics, Information and Communication Engineers, 1995. http://hdl.handle.net/2237/15017.
Full textGuidi, Mara [Verfasser]. "An automated platform for multistep synthesis based on a new paradigm for combining flow modules / Mara Guidi." Berlin : Freie Universität Berlin, 2021. http://d-nb.info/123040743X/34.
Full textÖhrngren, Per. "Tertiary Alcohol- or β-Hydroxy γ-Lactam-Based HIV-1 Protease Inhibitors : Microwave Applications in Batch and Continuous Flow Organic Synthesis". Doctoral thesis, Uppsala universitet, Avdelningen för organisk farmaceutisk kemi, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-160190.
Full textKwatra, Vivek. "Example-based Rendering of Textural Phenomena." Diss., Georgia Institute of Technology, 2005. http://hdl.handle.net/1853/7214.
Full textYang, Congguang. "BDD-based logic synthesis system." 2000. https://scholarworks.umass.edu/dissertations/AAI9960805.
Full textBooks on the topic "BDD Based Synthesis Flow"
Nishimura, Richard Norris *. A Petri net-based model for the design and synthesis of control-flow hardware. 1991.
Find full textTaberlet, Pierre, Aurélie Bonin, Lucie Zinger, and Eric Coissac. DNA sequencing. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198767220.003.0007.
Full textBernard, Seth. Building Mid-Republican Rome. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780190878788.001.0001.
Full textBook chapters on the topic "BDD Based Synthesis Flow"
Fried, Dror, Lucas M. Tabajara, and Moshe Y. Vardi. "BDD-Based Boolean Functional Synthesis." In Computer Aided Verification. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-41540-6_22.
Full textBeckert, Bernhard, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, and Mattias Ulbrich. "Information Flow in Object-Oriented Software." In Logic-Based Program Synthesis and Transformation. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-14125-1_2.
Full textMantel, Heiko, and Henning Sudbrock. "Types vs. PDGs in Information Flow Analysis." In Logic-Based Program Synthesis and Transformation. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38197-3_8.
Full textBossi, Annalisa, Riccardo Focardi, Carla Piazza, and Sabina Rossi. "A Proof System for Information Flow Security." In Logic Based Program Synthesis and Transformation. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-45013-0_16.
Full textMantel, Heiko, Markus Müller-Olm, Matthias Perner, and Alexander Wenner. "Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis." In Logic-Based Program Synthesis and Transformation. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-27436-2_12.
Full textDatta, Kamalika, Alhaad Gokhale, Indranil Sengupta, and Hafizur Rahaman. "An ESOP-Based Reversible Circuit Synthesis Flow Using Simulated Annealing." In Advances in Intelligent Systems and Computing. Springer India, 2014. http://dx.doi.org/10.1007/978-81-322-1988-0_8.
Full textKraft, M., R. Schöpfer, and R. W. Frank. "Optimised feedback control in Fmoc-based continuous flow synthesis of proteins." In Peptides 1994. Springer Netherlands, 1995. http://dx.doi.org/10.1007/978-94-011-1468-4_110.
Full textFuse, Shinichiro. "Efficient Synthesis of Biologically Active Peptides Based on Micro-flow Amide Bond Formation." In Middle Molecular Strategy. Springer Singapore, 2021. http://dx.doi.org/10.1007/978-981-16-2458-2_9.
Full textLessard, Simon, Rosalie Planteféve, François Michaud, Catherine Huet, Gilles Soulez, and Samuel Kadoury. "Blood-Flow Estimation in the Hepatic Arteries Based on 3D/2D Angiography Registration." In Intravascular Imaging and Computer Assisted Stenting and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-01364-6_1.
Full textdos Santos, André Flores, Lucas Antunes Tambara, Fabio Benevenuti, Jorge Tonfat, and Fernanda Lima Kastensmidt. "Applying TMR in Hardware Accelerators Generated by High-Level Synthesis Design Flow for Mitigating Multiple Bit Upsets in SRAM-Based FPGAs." In Lecture Notes in Computer Science. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-56258-2_18.
Full textConference papers on the topic "BDD Based Synthesis Flow"
Chakraborti, Sayak, Paturi Varun Chowdhary, Kamalika Datta, and Indranil Sengupta. "BDD based synthesis of Boolean functions using memristors." In 2014 9th International Design & Test Symposium (IDT). IEEE, 2014. http://dx.doi.org/10.1109/idt.2014.7038601.
Full textWille, Robert, Oliver Keszocze, Clemens Hopfmuller, and Rolf Drechsler. "Reverse BDD-based synthesis for splitter-free optical circuits." In 2015 20th Asia and South Pacific Design Automation Conference (ASP-DAC). IEEE, 2015. http://dx.doi.org/10.1109/aspdac.2015.7059000.
Full textWille, Robert, and Rolf Drechsler. "BDD-based synthesis of reversible logic for large functions." In the 46th Annual Design Automation Conference. ACM Press, 2009. http://dx.doi.org/10.1145/1629911.1629984.
Full textZhao, Zheng, Chian-Wei Liu, Chun-Yao Wang, and Weikang Qian. "BDD-based synthesis of reconfigurable single-electron transistor arrays." In 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). IEEE, 2014. http://dx.doi.org/10.1109/iccad.2014.7001328.
Full textPradhan, Sambhu N., Gopal Paul, Ajit Pal, and Bhargab B. Bhattacharya. "Power Aware BDD-based Logic Synthesis Using Adiabatic Multiplexers." In 2006 International Conference on Electrical and Computer Engineering. IEEE, 2006. http://dx.doi.org/10.1109/icece.2006.355312.
Full textSchonborn, Eleonora, Kamalika Datta, Robert Wille, Indranil Sengupta, Hafizur Rahaman, and Rolf Drechsler. "BDD-Based Synthesis for All-Optical Mach-Zehnder Interferometer Circuits." In 2015 28th International Conference on VLSI Design (VLSID). IEEE, 2015. http://dx.doi.org/10.1109/vlsid.2015.79.
Full textFroehlich, Saman, Saeideh Shirinzadeh, and Rolf Drechsler. "Multiply-Accumulate Enhanced BDD-Based Logic Synthesis on RRAM Crossbars." In 2020 IEEE International Symposium on Circuits and Systems (ISCAS). IEEE, 2020. http://dx.doi.org/10.1109/iscas45731.2020.9180874.
Full textChakraborty, Anindita, Rakesh Das, Chandan Bandopadhyay, and Hafizur Rahaman. "BDD based synthesis technique for design of high-speed memristor based circuits." In 2016 20th International Symposium on VLSI Design and Test (VDAT). IEEE, 2016. http://dx.doi.org/10.1109/isvdat.2016.8064842.
Full textSinha, Sanjeet Kumar, and Suman Lata Tripathi. "BDD Based Logic Synthesis and Optimization for Low Power Comparator Circuit." In 2018 International Conference on Intelligent Circuits and Systems (ICICS). IEEE, 2018. http://dx.doi.org/10.1109/icics.2018.00020.
Full textLai, Yung-Te, Massoud Pedram, and Sarma B. K. Vrudhula. "BDD based decomposition of logic functions with application to FPGA synthesis." In the 30th international. ACM Press, 1993. http://dx.doi.org/10.1145/157485.165078.
Full text