DOCSLIB.ORG

Sixth International Workshop on Designing Correct Circuits

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Sixth International Workshop on Designing Correct Circuits Sixth International Workshop on Designing Correct Circuits Vienna, 25–26 March 2006 A Satellite Event of the ETAPS 2006 group of conferences Participants’ Proceedings Edited by Mary Sheeran and Tom Melham Preface This volume contains material provided by the speakers to accompany their presentations at the Sixth International Workshop on Designing Correct Circuits, held on the 25th and 26th of March 2006 in Vienna. The workshop is a satellite event of the ETAPS group of conferences. Previous workshops in the informal DCC series were held in Oxford (1990), Lyngby (1992), Båstad (1996), Grenoble (2002), and Barcelona (2004). Each of these meetings provided a stimulating occasion for academic and industrial researchers to get together for discussions and technical presentations, and the series as a whole has made a significant contribution to supporting our research community. The 2006 DCC workshop again brings together researchers in formal methods for hardware design and verification. It will allow participants to learn about the current state of the art in formally based hardware verification and design and it is intended to further the debate about how more effective design and verification methods can be developed. For some time now, research in hardware verification is being done industrial laboratories, as well as in universities. Industry is commonly focussed on relatively immediate verification goals, but also keeps our work grounded in practical engineering problems. To make progress on the longer-term problems in our field, academic and industrial researchers must continue to work together on the problems facing microprocessor and ASIC designers now but also into the future. A major aim of the DCC series of workshops has been to provide a congenial and relaxed venue for communication among researchers in our community. DCC 2006 attracted a very strong field of submissions, and we hope the selection the Programme Committee has made will keep the debate stimulating and productive. We look forward to two great days of presentations and discussion. We wish to express our gratitude to the members of the Programme Committee for their work in selecting the presentations, and to all the speakers and participants for their contributions to Designing Correct Circuits. Mary Sheeran and Tom Melham March 2006 Programme Committee Dominique Borrione (TIMA, Grenoble University, France) Elena Dubrova (KTH, Sweden) Niklas Eén (Cadence Design Systems, USA) Warren Hunt (UT Austin, USA) Robert Jones (Intel Corporation, USA) Wolfgang Kunz (TU Kaiserslautern, Germany) Per Larsson-Edefors (Chalmers, Sweden) Andrew Martin (IBM Research, USA) Tom Melham (Oxford University, UK) Johan Mårtensson (Jasper Design Automation, Sweden) John O’Leary (Intel Corporation, USA) Carl Pixley (Synopsys, USA) Mary Sheeran (Chalmers, Sweden) Satnam Singh (Microsoft Corporation, USA) Joe Stoy (Bluespec, USA) Jean Vuillemin (École Normale Supérieure, France) DCC 2006 Microprocessor Verification Based on Datapath Abstraction and Refinement Zaher S. Andraus, Mark H. Liffiton, and Karem A. Sakallah Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor, MI 48109-2122 {zandrawi,liffiton,karem}@eecs.umich.edu Counterexample Guided Abstraction Refinement (CEGAR for short) has been shown to be an effective paradigm in a variety of hardware and software verification scenarios. Originally pio- neered by Kurshan [7], it has since been adopted by several researchers as a powerful means for coping with verification complexity. The wide-spread use of such a paradigm hinges, however, on the automation of its abstraction and refinement phases. Without automation, CEGAR requires laborious user intervention to choose the right abstractions and refinements based on a detailed understanding of the intricate interactions among the components of the design being verified. Clarke et al. [3], Jain et al. [5], and Dill et al. [2] have successfully demonstrated the automation of abstraction and refinement in the context of model checking for safety properties of hardware and software systems. In particular, these approaches create a smaller abstract transition system from the underlying concrete transition system and iteratively refine it with the spurious coun- terexamples produced by the model checker. The approaches in [3] and [5] are additionally based on the extraction of unsatisfiability explanations derived from the infeasible counterexamples to provide stronger refinement of the abstract model and to significantly reduce the number of refinement iterations. All of these approaches are examples of predicate abstraction which essentially projects the concrete model onto a given set of relevant predicates to produce an abstraction suitable for model checking a given property. In contrast, we describe in [1] a methodology for datapath abstraction that is particularly suited for equivalence checking. In this approach, datapath com- ponents in behavioral Verilog models are automatically abstracted to uninterpreted functions and predicates while refinement is performed manually using the ACL2 theorem prover [6]. The use of (near)-minimal explanations of unsatisfiability forms the basis of another class of abstraction methods. These include the work of Gupta et al. [4] and McMillan et al. [8] who employ “proof analysis” techniques to create an abstraction from an unsatisfiable concrete bounded model checking (BMC) instance of a given depth. In this talk we explore the application of CEGAR in the context of microprocessor correspon- dence checking. The approach is based on automatic datapath abstraction as in [1] augmented with automatic refinement using minimal unsatisfiable subset (MUS) extraction. One of our main conclusions is the necessity of basing refinement on the extraction of MUSes from both the abstract and concrete models. Additionally, refinement tends to converge faster when multiple MUSes are extracted in each iteration. Finally, localization and generalization of spurious coun- terexamples are also shown to be crucial for refinement to converge quickly. We will describe our implementation of these ideas in the Reveal system and discuss the effectiveness of the various refinement options in the verification of a few benchmarks. 1 DCC 2006 REFERENCES [1] Z. S. Andraus and K. A. Sakallah, “Automatic Abstraction of Verilog Models”, In Proceed- ings of 41st Design Automation Conference 2004, pp. 218-223. [2] S. Das and D. Dill, “Successive Approximation of Abstract Transition Relations” in 16th Annual IEEE Symposium on Logic in Computer Science (LICS) 2001. [3] E. Clarke, O. Grumberg. S. Jha, Y. Lu and H. Veith, “Counterexample-Guided Abstraction Refinement,” In CAV 2000, pp. 154-169. [4] A. Gupta, M. Ganai, Z. Yang, and P. Ashar, “Iterative Abstraction Using SAT-based BMC with Proof Analysis.” In Proc. of the International Conference on CAD, pp. 416-423, Nov. 2003. [5] H. Jain, D. Kroening and E. Clarke, “Predicate Abstraction and Verification of Verilog,” Technical Report CMU-CS-04-139. [6] M. Kaufmann and J. Moore, “An Industrial Strength Theorem Prover for a Logic Based on Common Lisp.” IEEE Transactions on Software Engineering 23(4), April 1997, pp. 203-213. [7] R. Kurshan, “Computer-Aided Verification of Coordinating Processes: The Automata-Theo- ritic Approach,” Princeton University Press, 1999. [8] K. L. McMillan and N. Amla, “Automatic Abstraction without Counterexamples.” In Inter- national Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS’03), pp. 2-17, Warsaw, Poland, April, 2003, LNCS 2619. 2 An Implementation of Clock-Gating and Multi-Clocking in Esterel Laurent Arditi, G´erard Berry, Marc Perreaut Esterel Technologies {Laurent.Arditi,Gerard.Berry,Marc.Perreaut}@esterel-technologies.com Michael Kishinevsky Intel Strategic CAD Labs [email protected] Clock gating and multi-clocking are now common design techniques that are used for power reduction and for handling systems with different operational frequencies. They cannot be handled by Classic Esterel language and tools because the Classic Esterel is a single clock synchronous paradigm and Esterel compilers can generate single clock circuits only. To cover broader class of design needs, we propose to extend Esterel to other clocking schemes, including clock-gating and multi-clocking. This extension must satisfy three major needs: • enhance the scope of designs that can be modeled in Esterel, • allows to generate different implementations depending on the final target: a single clock circuit (e.g. for compiling a specification into a basic FPGA), a circuit with clock-gating or an equivalent circuit without clock-gating, and a multi- clock circuit (e.g. for compiling to an ASIC). The choice of the implementation should be possible at compilation time, without requiring any change in the source model. • provide support by all tools comprising the Esterel development framework: the graphical Esterel entry, software simulation and debug, embedded code genera- tion, formal verification, optimization. The core of the implementation for the clock-gating is based on a new Esterel in- struction called weak suspend. This instruction freezes the control and data registers, while letting the combinational part computing the values as functions of inputs and the state. The effect of this instruction is similar to an effect of clock-gating on a hard- ware block. We developed an Esterel compiler which can generate RTL code (VHDL and Verilog) with the
Load more

Recommended publications
  • Women Readers of Middle Temple Celebrating 100 Years of Women at Middle Temple the Incorporated Council of Law Reporting for England and Wales
    The Honourable Society of the Middle Temple Middle Society Honourable the The of 2019 Issue 59 Michaelmas 2019 Issue 59 Women Readers of Middle Temple Celebrating 100 Years of Women at Middle Temple The Incorporated Council of Law Reporting for England and Wales Practice Note (Relevance of Law Reporting) [2019] ICLR 1 Catchwords — Indexing of case law — Structured taxonomy of subject matter — Identification of legal issues raised in particular cases — Legal and factual context — “Words and phrases” con- strued — Relevant legislation — European and International instruments The common law, whose origins were said to date from the reign of King Henry II, was based on the notion of a single set of laws consistently applied across the whole of England and Wales. A key element in its consistency was the principle of stare decisis, according to which decisions of the senior courts created binding precedents to be followed by courts of equal or lower status in later cases. In order to follow a precedent, the courts first needed to be aware of its existence, which in turn meant that it had to be recorded and published in some way. Reporting of cases began in the form of the Year Books, which in the 16th century gave way to the publication of cases by individual reporters, known collectively as the Nominate Reports. However, by the middle of the 19th century, the variety of reports and the variability of their quality were such as to provoke increasing criticism from senior practitioners and the judiciary. The solution proposed was the establishment of a body, backed by the Inns of Court and the Law Society, which would be responsible for the publication of accurate coverage of the decisions of senior courts in England and Wales.
    [Show full text]
  • E Catalogue Ocean Imaginarie
    UHI Research Database pdf download summary Ocean of Time Bevan, Anne; Williams, Linda; Davies, Suzanne Publication date: 2017 The Document Version you have downloaded here is: Publisher's PDF, also known as Version of record Link to author version on UHI Research Database Citation for published version (APA): Bevan, A., Williams, L., & Davies, S. (2017, May). Ocean of Time. Royal Melbourne Institute of Technology. General rights Copyright and moral rights for the publications made accessible in the UHI Research Database are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights: 1) Users may download and print one copy of any publication from the UHI Research Database for the purpose of private study or research. 2) You may not further distribute the material or use it for any profit-making activity or commercial gain 3) You may freely distribute the URL identifying the publication in the UHI Research Database Take down policy If you believe that this document breaches copyright please contact us at [email protected] providing details; we will remove access to the work immediately and investigate your claim. Download date: 03. Oct. 2021 OCEAN IMAGINARIES RMITGALLERY OCEAN IMAGINARIES ISBN 9780992515669 9 780992 515669 Anne Bevan Emma Critchley & John Roach Jason deCaires Taylor Alejandro Durán Simon Finn Stephen Haley Chris Jordan Janet Laurence Sam Leach Mariele Neudecker Joel Rea Dominic Redfern Lynne Roberts-Goodwin Debbie Symons teamLab Guido van der Werve Chris Wainwright Lynette Wallworth Josh Wodak 1 Ocean Imaginaries.
    [Show full text]
  • The History of Millfield 1935‐1970 by Barry Hobson
    The History of Millfield 1935‐1970 by Barry Hobson 1. The Mill Field Estate. RJOM’s early years, 1905‐1935. 2. The Indians at Millfield, Summer 1935. 3. The Crisis at Millfield, Autumn 1935. 4. RJOM carries on, 1935‐6. 5. Re‐establishment, 1936‐7. 6. Expansion as the war starts, 1937‐40. 7. Games and outdoor activities, 1935‐9. 8. War service and new staff, 1939‐45. 9. War time privations, 1939‐40. 10. New recruits to the staff, 1940‐2. 11. Financial and staffing problems, 1941‐2. 12. Pupils with learning difficulties, 1938‐42. 13. Notable pupils, 1939‐49. 14. Developing and running the boarding houses, 1943‐5. 15. The Nissen Huts, 1943‐73. 16. War veterans return as tutors and students, 1945‐6. 17. The school grows and is officially recognized, 1945‐9. 18. Millfield becomes a limited company. Edgarley stays put. 1951‐3. 19. Games and other activities, 1946‐55. 20. Pupils from overseas. The boarding houses grow. 1948‐53. 21. The first new school building at Millfield. Boarding houses, billets, Glaston Tor. 1953‐9. 22. Prefects, the YLC, smoking. The house system develops. The varying fortunes of Kingweston. 1950‐9. 23. The development of rugger. Much success and much controversy. 1950‐67. 24. Further sporting achievements. The Olympic gold medalists. ‘Double Your Money’. 1956‐64. 25. Royalty and show‐business personalities, 1950‐70. 26. Academic standards and the John Bell saga. Senior staff appointments. 1957‐67. 27. Expansion and financial difficulties. A second Inspection. CRMA and the Millfield Training Scheme. 1963‐6. 28. Joseph Levy and others promote the Appeal.
    [Show full text]
  • Pitchfork Mental Health
    “NAME ONE GENIUS THAT AIN’T CRAZY”- MISCONCEPTIONS OF MUSICIANS AND MENTAL HEALTH IN THE ONLINE STORIES OF PITCHFORK MAGAZINE _____________________________________________________________________________ A Thesis Presented to The Faculty of the Graduate School At the University of Missouri-Columbia ____________________________________ In Partial Fulfillment Of the Requirements for the Degree Master of Arts _____________________________________ By Jared McNett Dr Berkley Hudson, Thesis Supervisor December 2016 The undersigned, appointed by the dean of the Graduate School, have examined the thesis entitled “NAME ONE GENIUS THAT AIN’T CRAZY”- MISCONCEPTIONS OF MUSICIANS AND MENTAL HEALTH IN THE ONLINE STORIES OF PITCHFORK MAGAZINE presented by Jared McNett, A candidate for the degree of masters of art and hereby certify that, in their opinion, it is worthy of acceptance. Professor Berkley Hudson Professor Cristina Mislan Professor Jamie Arndt Professor Andrea Heiss Acknowledgments It wouldn’t be possible to say thank enough to each and every person that has helped me with this along my way. I’m thankful for my parents, Donald and Jane McNett, who consistently pestered me by asking “How’s it coming with your thesis? Are you done yet?” I’m thankful for friends, such as: Adam Suarez, Phillip Sitter, Brandon Roney, Robert Gayden and Zach Folken, who would periodically ask me “What’s your thesis about again?” That was a question that would unintentionally put me back on track. In terms of staying on task my thesis committee (mentioned elsewhere) was nothing short of a godsend. It hasn’t been an easy two-and-a-half years going from basic ideas to a proposal to a thesis, but Drs.
    [Show full text]
  • National Commander Presents DAY Resolutions to President 1
    XXXVNO.5 DISABLED AMERICAN VETERANS' SEMI-MONTHLY, OCt. 11, 1956 WHOLE NUMBE 883 rpetual Rehab Funds National Commander Presents ake Favorable Impact DAY Resolutions To President oundation Reports On Butte Ian A t National Convention I Major Action Of Convention Survivor Benefits C ails F or I ncreased Compensation ASHINGTON, D. C. - Gratifying indications of the Bill Reminder hIe impact Inade by the launching of Perpetual Reha- WASHINGTON. D. C. - DAV National Commander 'on Funds entrusted with the DAV Service Foundation Issued By VA Joseph F. Burke has presented President Eisenhower with a ested themselves during the DAV National Convention WASHINGTON, D. C.-The Vet­ set of resolutions adopted at the San Antonio annual conven- Antonio, Texas. erans Administration has issued a ti~ . 'as during the convention reminder regarding the new Sur­ The major action of the convention body imposed a call dinner was given by the vivor Benefits Bill which was signed upon the forthcoming 85th Congress to make the approval tion to some 80 full· time Warning Issued by President Eisenhower on August al Se,rvice Officers, National cf a compensation increase the first order of business in the and National Staff Offi­ 1, to the effect that the Act does field of veterans' legislation. the DAV that explanations To Pensioners On NOT change death pension benefits Accompanied by Major Orner iven concerning the DAV's to widows and children of veter~ns W. Clark and Captain Cicero F. 1'5 Advisory Committee Pro­ Iwhose deaths were not servIce­ Hogan, respectively DAV's Na­ esigned to distribute infor­ Income Limitations connected.
    [Show full text]
  • Nyelv Kiválasztása Üzemeltető: Fordító
    Nyelv kiválasztása Üzemeltető: Fordító ABOUT PRIZES RULES JUDGES WINNERS FAQ CONTACT 2020 Songwriter (Artist) Song Hometown Category 17th Letter (17th Letter) War (Inner Me) Chicago, IL, USA R&B/Hip-Hop 21WEST (21WEST Ft. VELVET) Unstoppable Zurich, Switzerland Pop/Top 40 AAA (Adult A Sagers, D Moore (Mercvrial) Be That Someone Rosarito, Mexico Album Alternative) A. Sponchia (Sunday Wilde) Storm Is Raging Atikokan, ON, Canada Blues A. Spoonchia (Sunday Wilde) Love Bender Murillo, QC, Canada Blues Aalap Dipesh Desai (Aalap Dipesh Desai) Nuna Neva Newark, CA, USA Children's Music AAA (Adult Aaron Brown, Robb Torres (Aaron Brown) Bleeding On For Love West Hills, CA, USA Album Alternative) Aaron Grant (Aaron Grant) The Old Block Saint John, NB, Canada Country Aaron Keeports (Aaron Keeports) Here For A Reason Philadelphia, PA, USA Pop/Top 40 Abbey Toole, Jaymi Toole, Mia Toole (Little Quirks) Maybelle Gosford, NSW, Australia Americana AC (Adult Abby J Hall, Andre Kaden Black, Tal Vaisman (Abby J Hall) All I Wanted Burlington, ON, Canada Contemporary) Abby J Hall, Andre Kaden Black, Tal Vaisman (Abby J Hall) Little Things Burlington, ON, Canada Music Video Abby J Hall, Andre Kaden Black, Tal Vaisman (Abby J Hall) All I Wanted Burlington, ON, Canada Unsigned Only Abby Taylor (Abby Taylor) Love Song Sydney, NSW, Australia Teen Abdulaziz Almannaei, Cullen Wagner-Roach (Abdul Aziz Ahmad) The Dancer Dubai, United Arab Emirates Pop/Top 40 Folk/Singer- Abe Loomis (Abe Loomis) Don't You Let Go Conway, MA, USA Songwriter Abhilasha Sinha (Abhilasha Sinha)
    [Show full text]
  • Ocean Ima Ginaries Rmit G Aller Y
    OCEAN IMAGINARIES RMITGALLERY OCEAN IMAGINARIES ISBN 9780992515669 9 780992515669 Anne Bevan Emma Critchley & John Roach Jason deCaires Taylor Alejandro Durán Simon Finn Stephen Haley Chris Jordan Janet Laurence Sam Leach Mariele Neudecker Joel Rea Dominic Redfern Lynne Roberts-Goodwin Debbie Symons teamLab Guido van der Werve Chris Wainwright Lynette Wallworth Josh Wodak 1 Ocean Imaginaries. The Ocean’s Eyes Suzanne Davies Timing is critical. For Victor Hugo the 19th century emblematic fi gure of French romanticism, the oceans gave life to the planet, offering a majestic symbol of eternity. In 2017, while still awesome in our imagination, what science is now revealing of the state of the ocean triggers despair. The global threat of climate change in the age of the Anthropocene, is decimating the ocean. This exhibition, Ocean Imaginaries, features the work of twenty international and Australian artists whose works, inspired by science and shaped by the poetics of art, explore many of the contradictions and confl icted feelings raised by the way the ocean is imaged in an age of profound environmental risk. To an urban audience, the art-works reveal some of the invisible changes triggered by ocean acidifi cation, the polluting effect of microplastics, coral bleaching and the impact of rising sea levels. Utilising a quiet, elegant aesthetic, the projections, paintings, photographs, sculptures, videos, animations and installations, in the words of ocean scientist, Professor John Finnigan, “subvert familiarity with information and surprise. They have added information and entropy to patterns that have become familiar to the point where they no longer cause us to wonder or to be alarmed at their possible disappearance”.
    [Show full text]
  • Newslist Drone Records 23. April 2006
    DR-34: TARKATAK - Skärva / Oroa (Germany; atmospheric drones with a special touch from this newcomer from North-Germany) DR-39: DUAL – Klanik / 4 tH (U.K.; mighty guitar drones & massive sub bass undertones that evoke feelings of total transcendence and grandeur) DR-42: REYNOLS – 10.000 Chickens Symphony (Argentina; this obscure outfit from Buenos Aires works on the sound of – at least – 10.000 chickens – an amazing & mindblowing field recording - experiment!) DR-46: REUTOFF – Reutraum IV (Russia; vinyl-debut for this trio from Moscow – a mixture of rhythmic industrial with dark & depressed NEWSLIST DRONE RECORDS ambient tunes, made in the heart of the decay) DR-50: ULTRASOUND – Death comes from the left 23. APRIL 2006 (Netherlands/USA; very emotional guitar drones at its best, this is pure yearning transfered into sounds..) - VINYLS – CASSETTES – CDRs – DVD - CDs – PRINTMEDIA – SUBSTANTIA INNOMINATA (price € 12.00 each) THIS NEWSLIST / SUPPLEMENT SUMMARIZES ALL NEW ENTRIES SUB-01: DANIEL MENCHE - Radiant Blood 10" brown-black HAVING ARRIVED HERE IN THE LAST FOUR MONTHS SINCE THE vinyl. ed. of 500, artwork Robert Schalinski (COLUMN ONE) LATEST NEWSLIST (DEC 2005). SUB-02: ASIA NOVA - Magnamnemonicon 10" out now ! red- white / pink vinyl, artwork by Ure Thrall PLEASE STATE PRICES WITH YOUR ORDER TO AVOID DELAYS SUB-03: NOISE-MAKER'S FIFES - Zona Incerta 10" two different BITTE IMMER PREISE MIT ANGEBEN ! vinyl-colours, artwork by Mars Wellink (VANCE ORCH) ALL PRICES IN EURO !! NEW LISTED STUFF HAS A STAR ( * ) IN THE FIRST LINE 1. VINYLS 0. AVAILABLE LABEL–RELEASES DRONE RECORDS / SUBSTANTIA INNOMINATA * AALFANG MIT PFERDEKOPF – Fragment 36 7” (Drone Records DR-79, 2006) [ed.
    [Show full text]
  • The Campion STUDENT HANDBOOK 2021
    The Campion STUDENT HANDBOOK 2021 Welcome to the academic year! I would particularly like to welcome all new students to the College. Campion College is a unique institution in Australia - the first institute of higher education dedicated to the Liberal Arts. Here at Campion we are committed to the Catholic Liberal Arts tradition, whereby an education is truly about the fostering of the life of the mind and the pursuit of wisdom. In order to think freely as humans we need the tools that liberate us to know and contemplate all that is good and true. These tools are what Campion provides. Engaging with ideas, reflecting on the big questions, knowing our past, thinking logically, investigating the insights of faith and reason, reading great works, constructing arguments, are just some of the ways that the life of the mind is fostered at Campion College. Campion, though, is not just about the life of the mind; we attempt to engage and to form the whole person. Grounded in the Catholic tradition, we see no conflict between a dedicated life of study and the flourishing of the whole person. At the heart of Catholic culture is liturgy and prayer from which flows a social, artistic and sporting life that is truly integrated with the intellectual life. Here at Campion there are many opportunities to participate in this culture as well as space for you to contribute your own initiatives in developing the life of the College. I invite you to participate fully in all that is offered. As part of educating you in wisdom there is special care taken at Campion in relation to your individual academic development.
    [Show full text]
  • January 2014 S E I R E L L
    JANUARY 2014 S E I R E L L previews news A listings new shows maps galleries.co.uk G -$18$5< %XVLQHVV 'HVLJQ &HQWUH ,VOLQJWRQ /RQGRQ 1 %RRN 7LFNHWV ORQGRQDUWIDLUFRXN the great SCHOOL PRINT offer Buy original 1940s School Print lithographs from only £50 each visit schoolprints.co.uk or phone 01572 821424 for leaflet Moore, Matisse, Nash, Trevelyan, Rothenstein, Rowntree, Jones, Gentleman, Tunnard, Topolski et al. goldmark 14 Orange Street, Uppingham, Rutland, LE15 9SQ GALLERIES CONTENTSJANUARY2014 regular FEATURES GALLERIES map pages map/section Articles: gallery names in bold see index Principal cities & regions are covered by maps showing gallery locations New Shows Diary – exhibition opening days page 6 Art Services to the trade & public 31 Antennae – events and news this month 8 Sale Rooms – a record year 9 Bankside & Southwark – Waterloo, Tower Bridge 29 Public Eye – public venues 10 Bath – City Centre 13 Thumbnails – latest shows 12,26,33,34 Bloomsbury/Fitzrovia – Charlotte St, Windmill St 22 Books – new art books 14,20 Bristol – City Centre 12 Critical Timing – new Thames project 24 National Galleries – highlights of UK shows 41 Cardiff – City Centre 5 Internet – art sites 50 Chelsea & Fulham – King’s Rd, Fulham Rd, Battersea 19 Artist Index – artists listed by gallery 51 City, Islington & East End – Upper St, Bethnal Grn 30 Gallery Specialisations – general stock index 52 Cork St – Clifford St, Regent St 28 Gallery Index – dealers & services 54 Cornwall – Land’s End to St Austell, Penzance Centre 8 Cotswolds – Gloucestershire
    [Show full text]