Search Results for Logic. - Narrowed by: English - Online Library - Electronics. - Engineering. - Logic design.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Electronics.$002509Electronics.$0026qf$003dSUBJECT$002509Subject$002509Engineering.$002509Engineering.$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300?
2024-09-12T05:35:54Z
Logic Synthesis for FSM-Based Control Units
ent://SD_ILS/0/SD_ILS:190905
2024-09-12T05:35:54Z
2024-09-12T05:35:54Z
Author Barkalov, Alexander. author. Titarenko, Larysa. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04309-3">http://dx.doi.org/10.1007/978-3-642-04309-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Synthesis for Compositional Microprogram Control Units
ent://SD_ILS/0/SD_ILS:185766
2024-09-12T05:35:54Z
2024-09-12T05:35:54Z
Author Barkalov, Alexander. editor. Titarenko, Larysa. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-69285-0">http://dx.doi.org/10.1007/978-3-540-69285-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
VLSI Physical Design: From Graph Partitioning to Timing Closure
ent://SD_ILS/0/SD_ILS:205534
2024-09-12T05:35:54Z
2024-09-12T05:35:54Z
Author Kahng, Andrew B. author. Lienig, Jens. author. Markov, Igor L. author. Hu, Jin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-9591-6">http://dx.doi.org/10.1007/978-90-481-9591-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
More than Moore Creating High Value Micro/Nanoelectronics Systems
ent://SD_ILS/0/SD_ILS:167281
2024-09-12T05:35:54Z
2024-09-12T05:35:54Z
Author Zhang, Guo Qi. editor. Roosmalen, Alfred. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-75593-9">http://dx.doi.org/10.1007/978-0-387-75593-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fault-Tolerance Techniques for SRAM-based FPGAs
ent://SD_ILS/0/SD_ILS:165779
2024-09-12T05:35:54Z
2024-09-12T05:35:54Z
Author Kastensmidt, Fernanda Lima. author. Carro, Luigi. author. Reis, Ricardo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-31069-5">http://dx.doi.org/10.1007/978-0-387-31069-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Roadmap for Formal Property Verification
ent://SD_ILS/0/SD_ILS:169271
2024-09-12T05:35:54Z
2024-09-12T05:35:54Z
Author DasGupta, Pallab. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-4758-9">http://dx.doi.org/10.1007/978-1-4020-4758-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Taxonomies for the Development and Verification of Digital Systems
ent://SD_ILS/0/SD_ILS:165002
2024-09-12T05:35:54Z
2024-09-12T05:35:54Z
Author Bailey, Brian. editor. Martin, Grant. editor. Anderson, Thomas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b104217">http://dx.doi.org/10.1007/b104217</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Algorithms, Architectures and Applications for Reconfigurable Computing
ent://SD_ILS/0/SD_ILS:168817
2024-09-12T05:35:54Z
2024-09-12T05:35:54Z
Author Lysaght, Patrick. editor. Rosenstiel, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3128-9">http://dx.doi.org/10.1007/1-4020-3128-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>