000 03406nam a22004095i 4500
001 85592
003 ES-MaUEC
005 20230207040518.0
007 cr nn 008mamaa
008 160208s2016 gw | s |||| 0|eng d
020 _a9783319295992
040 _aES-MaUEC
050 4 _aTK7874.75
_bP677 2016
082 0 4 _a621.3815
100 1 _aPop, Paul.
_997433
_0Local
245 1 0 _aMicrofluidic Very Large Scale Integration (VLSI) :
_bModeling, Simulation, Testing, Compilation and Physical Synthesis
_cby Paul Pop, Wajid Hassan Minhass, Jan Madsen
250 _a1st ed.
260 _aCham
_bSpringer International Publishing
_c2016
300 _a1 recurso en línea (XV, 270 páginas)
_b148 ilustraciones, 47 ilustraciones en color
336 _aTexto
_btxt
_2rdacontent
337 _aelectrónico
_bc
_2rdamedia
338 _arecurso electrónico
_bcr
_2rdacarrier
505 0 _aIntroduction -- Part 1. Preliminaries -- Design Methodology for Flow-based Microfluidic Biochips -- Biochip Architecture Model -- Biochemical Application Modeling -- Part 2. Compilation -- Compiling High-Level Languages -- Application Mapping and Simulation -- Control Synthesis and Pin-Count Minimization -- Part 3. Physical Design -- Allocation and Schematic Design -- Placement and Routing -- On-Chip Control Synthesis -- Testing and Fault-Tolerant Design.
520 3 _aThis book presents the state-of-the-art techniques for the modeling, simulation, testing, compilation and physical synthesis of mVLSI biochips. The authors describe a top-down modeling and synthesis methodology for the mVLSI biochips, inspired by microelectronics VLSI methodologies. They introduce a modeling framework for the components and the biochip architecture, and a high-level microfluidic protocol language. Coverage includes a topology graph-based model for the biochip architecture, and a sequencing graph to model for biochemical application, showing how the application model can be obtained from the protocol language. The techniques described facilitate programmability and automation, enabling developers in the emerging, large biochip market. · Presents the current models used for the research on compilation and synthesis techniques of mVLSI biochips in a tutorial fashion; · Includes a set of "benchmarks", that are presented in great detail and includes the source code of several of the techniques presented, including solutions to the basic compilation and synthesis problems; · Discusses several new research problems in detail, using numerous examples.
710 2 _aSpringerLink (Online service)
_0Local
_9106996
942 _2lcc
_cLE
988 _aEBOOK, asignarmaterias , EBSPRINGER
650 7 _9139610
_aCircuitos electrónicos
_0comprobar BNE19900974538
_2embne
650 7 _9143820
_aIngeniería biomédica
_0comprobar BNE19902550170
_2embne
700 1 _aMinhass, Wajid Hassan.
_998690
_0Local
700 1 _aMadsen, Jan.
_997436
_0Local
856 4 0 _uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://link.springer.com/book/10.1007/978-3-319-29599-2
_zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
901 _ai9783319295992
907 _a.b12948706
_b10-10-17
_c21-11-16
998 _am
_a_alco
_a_vill
_b - -
_cm
_dz
_e-
_feng
_ggw
_h0
945 _aTK7874.75 P677 2016 EB
_g1
_ieBOOK
_j0
_lmae
_o-
_pEUR0.00
_q-
_r-
_sb
_t15
_u0
_v0
_w0
_x0
_y.i11592072
_z06-04-17
999 _c85592
_d85592
_x1