IBM Haifa Leadership Seminar - Agenda

Total Page：16

File Type：pdf, Size：1020Kb

IBM Haifa Leadership Seminar - Agenda IBM Verification Seminar 2004 November 21, 2004 9:15 Arrival 12:50 Piparazzi: A Micro-architecture Approach to Functional & Performance 9:30 Welcome, Verification in Processors, David Bernstein, Mgr., Software and Eyal Bin, IBM Haifa Labs Verification Technologies, IBM Haifa Labs 13:20 Lunch 9:45 Formal Verification of Synchronizers in GALS SoCs, 14:30 Keynote: Predicate Abstraction Ran Ginosar, Head, VLSI Systems and Refinement Techniques for Verifying Research Center, Electrical Engineering Verilog, Department, Technion - Israel Institute of Ed Clarke, FORE Systems Professor of Technology Computer Science and Professor of Electrical and Computer Engineering, 10:25 A Massively Parallel Platform for Carnegie Mellon University Formal Verification: RuleBase Parallel Edition, 15:30 Break Rachel Tzoref, IBM Haifa Labs 15:45 Debugging complex FPGA 10:55 SystemVerilog: Introduction and a platforms, User Perspective, Ivo Bolsens, Vice President and Chief Johny Srouji, Engineering Manager, Intel Technology Officer, Xilinx CAD Division, Haifa 16:15 Panel: HVL vs. HDVL, 11:25 Coffee break Panelists: Coby Chanoch, Verisity; Jay Lawrence, Cadence Design Systems; 11:40 State of the Technology Industry in Kobi Pines, Marvell Technology Group; Israel... and the Future, Rob Slater, FreeScale Semiconductor, Orna Berry, Venture Partner in Gemini Israel Funds and Former Chief Scientist of 17:00 Concluding Remarks, the Israeli Ministry of Industry and Trade Michael Rodeh, Director, IBM Haifa Labs 12:20 EDA Standards: Motivation, Players, Challenges, and Achievements, Dennis Brophy, Chair, Accellera Standards Organization and Director of Strategic Business Development, Model Technology http://www.haifa.il.ibm.com/Workshops/verification2004/.

Copy Link

Recommended publications

Table of Contents
43rdDAC-2C 7/3/06 9:16 AM Page 1 The 43rd Design Automation Conference • July 24 - 28, 2006 • San Francisco, CA Table of Contents 44th DAC Call For Papers ........................................................................................64-65 Keynote Addresses Additional Conference and Hotel Information........................................inside back cover • Monday Keynote Address . 6 • Conference Shuttle Bus Service • Tuesday Keynote Address. 7 • First Aid Rooms • Thursday Keynote Address. .8 • Guest/Family Program MEGa Sessions..............................................................................................................5 • Hotel Locations Monday Schedule ........................................................................................................13 • On-Site Information Desk Monday Tutorial Descriptions..................................................................................42 • San Francisco Attractions New Exhibitors ............................................................................................................4 • Weather Panel Committee ........................................................................................................67 • Wednesday Night Party Pavilion Panels ..............................................................................................................9-12 Additional Meetings ....................................................................................................61-63 Proceedings ..................................................................................................................56
[Show full text]
Apple Ecosystem Y
Apple Inc. One Apple Park Way Cupertino, CA 95014 Apple Ecosystem Phone: (408) 996-1010 www.apple.com Outside Relationships Apple Inc. (California Corporation) Securities Outside Relationships Regulation and Regulators Capital Suppliers Customers NASDAQ Listing Customers Suppliers Capital Regulators Debt Structure Equity Structure Rules Bond Debt ( $107B @ 9/28/19) Credit Ratings: Aa1 (Moody’s), AA+ (S&P) Equity Securities Public Debt Financing Common Stock Significant Regulators Common Stock (12.6 Billion Authorized; Holders Senior Floating Senior Fixed Rate Notes ($97.5B), Repurchases Shareholders 4.443 Million Shares Outstanding) US Securities Commercial Rate Notes bearing interest at 0.875% to 3.6% Vanguard Commercial Commercial Paper (9- Equity and Paper ($4.25B) and maturing 2022 to 2042 Group Banks months or less) ($6 billion) $175 Billion Share Repurchase Program Capital Exchange (7.36%) Commission Professional Berkshire Services Governance Human Resources Sales and Marketing Finance and Accounting Corporate Matters Hathaway The NASDAQ Board of Directors Research & (5.6%) Hiring / Training Legal Stock Market Ernst & Young Advertising Budget Support Development Arthur D. Levinson (C) Albert Gore Jr. (C, N) Susan L. Wagner (N, A) Real Estate IP Management BlackRock (Auditors) New Technologies Pension Plans Retail Accounts Internal Audit Fund TBWA/Media Tim Cook Andrea Jung (C, N) Ronald D. Sugar (A) Transactions Subsidiary Management Existing Product Advisors Professional Compensation E Commerce Accounting Arts Lab Enhancements
[Show full text]
Apple Ecosystem Cupertino, CA 95014 Phone: (408) 996-1010
Apple Inc. One Apple Park Way Apple Ecosystem Cupertino, CA 95014 Phone: (408) 996-1010 www.apple.com Outside Relationships Apple Inc. (California Corporation) Securities Outside Relationships Regulation and Regulators Capital Suppliers Customers NASDAQ Listing Customers Suppliers Capital Regulators Debt Structure Equity Structure Rules Bond Debt ( $107B @ 9/28/19) Credit Ratings: Aa1 (Moody’s), AA+ (S&P) Equity Securities Public Debt Financing Common Stock Significant Regulators Common Stock (12.6 Billion Authorized; Holders Senior Floating Senior Fixed Rate Notes ($97.5B), Repurchases Shareholders 4.443 Million Shares Outstanding) US Securities Commercial Rate Notes bearing interest at 0.875% to 3.6% Vanguard Commercial Commercial Paper (9- Equity and Paper ($4.25B) and maturing 2022 to 2042 Group Banks months or less) ($6 billion) $175 Billion Share Repurchase Program Capital Exchange (7.36%) Commission Professional Berkshire Services Governance Human Resources Sales and Marketing Finance and Accounting Corporate Matters Hathaway The NASDAQ Board of Directors Research & (5.6%) Legal Stock Market Ernst & Young Hiring / Training Advertising Budget Support Development Arthur D. Levinson (C) Albert Gore Jr. (C, N) Susan L. Wagner (N, A) Real Estate IP Management BlackRock (Auditors) New Technologies Pension Plans Retail Accounts Internal Audit Fund TBWA/Media Tim Cook Andrea Jung (C, N) Ronald D. Sugar (A) Transactions Subsidiary Management Existing Product Advisors Professional Compensation E Commerce Accounting Arts Lab Enhancements
[Show full text]
Apple Names Jeff Williams As Chief Operating Officer 17 December 2015, Bythe Associated Press
Apple names Jeff Williams as chief operating officer 17 December 2015, byThe Associated Press At Grey, Myhren was chief creative officer and president of its New York office. Apple Inc., based in Cupertino, California, also expanded the roles of two other executives. It upped Johny Srouji's position to senior vice president of hardware technologies from vice president and said Senior Vice President of Worldwide Marketing Phil Schiller would now add Apple's app store to his responsibilities. In afternoon trading, Apple shares slipped $1.95, or 1.7 percent, to $109.39. © 2015 The Associated Press. All rights reserved. In this March 9, 2015 file photo, Apple Vice President of Operations, Jeff Williams, discusses ResearchKit during an Apple event in San Francisco. Apple named Williams as its new chief operating officer Thursday, Dec. 17, 2015, a job that hasn't been filled since Tim Cook left the position more than four years ago to become CEO. Williams has worked at Apple for about 17 years and supervised the launch of the Apple Watch, which went on sale earlier this year. (AP Photo/Eric Risberg) Apple named Jeff Williams as its chief operating officer Thursday, a job that hasn't been filled since Tim Cook left the position more than four years ago to become CEO. Williams has worked at Apple for about 17 years and supervised the launch of the Apple Watch, which went on sale earlier this year. The company said he played a "key role" in the launch of the iPhone. Apple also announced Thursday that it hired Tor Myhren from advertising company Grey Group to be vice president of marketing communications.
[Show full text]
Issue #270 | October 2020
1 advisory Board Message from the editor Ziad Bandak Chairman of the Presidential Committee for Palestine is generally perceived as a recipient of aid. Indeed, the the Restoration of the Nativity Church geopolitical conditions in Palestine under occupation make it difficult Sliman Mansour to generate revenues, the economy is mostly service-based, Artist and all international transactions must be carried out via Israel. Amid Masri With COVID-19, the situation is reaching a breaking point as the Agriculturist government is no longer able to pay salaries, and testing kits for Mahmoud Muna the virus are running low. But the situation could be very different. The Bookseller of Jerusalem Palestinians have traditionally contributed to development in other Carol Sansour countries, mostly by providing expertise and engaging in economic Poet, Communication Specialist activities when enabled to do so under less restrictive conditions Cover: Hot Spot, artwork by Palestinian Fida Touma abroad. Thus, our current theme explores Palestine’s role as a donor Director General of A.M. Qattan Foundation artist Mona Hatoum. country. Mona Hatoum explores a variety of In this issue, you will read about official South-South cooperation subject matter via different theoretical carried out by Palestine and about the many successful examples frameworks. Her work can be interpreted as a description of the body and as a forthcoming Issues and efforts, as well as recommendations for engaging in commentary on politics, gender, and public diplomacy and country branding to highlight Palestine’s difference as she explores the dangers November 2020 positive contributions and unique features. Authors point out the and confines of the domestic world.
[Show full text]
Apple Ecosystem Cupertino, CA 95014 Phone: (408) 996-1010
Apple Inc. One Apple Park Way Apple Ecosystem Cupertino, CA 95014 Phone: (408) 996-1010 www.apple.com Outside Relationships Apple Inc. (A California Corporation) Securities Outside Relationships Regulation and Regulators Capital Suppliers Customers NASDAQ Listing Customers Suppliers Capital Regulators Debt Structure Equity Structure Rules Bond Debt ( $106.1B @ 9/26/20) Credit Ratings: Aa1 (Moody’s), AA+ (S&P) Equity Securities Public Debt Financing Common Stock Significant Regulators Common Stock (50.4 Billion Authorized; Holders Senior Floating Rate 2020-2049 Senior Fixed 2025-2031 Senior Fixed 2023-2050 Senior Fixed 2025-2060 Senior Fixed Repurchases Shareholders Commercial Paper 16.977 Billion Shares Outstanding) US Securities Commercial Notes at 0.60% - Rate Notes at 0.28% to Rate Notes at 0.00% to Rate Notes at 0.55% to Rate Notes at 0.55% to Vanguard Commercial (9-months or less) Equity and Paper 1.39% ($2.25B) 4.78% ($87.5B) 0.50% ($2.3B) 2.65% ($8.5B) 2.55% ($5.5B) $225 Billion Share Repurchase Program Group Banks ($5.0 billion) Capital Exchange ($168.6B Utilized) (7.09%) Commission Professional Berkshire Services Governance Human Resources Sales and Marketing Finance and Accounting Corporate Matters Hathaway The NASDAQ Board of Directors Research & (5.55%) Legal Stock Market Ernst & Young Hiring / Training Advertising Budget Support Development Arthur D. Levinson (C) Albert Gore Jr. (C, N) Committees: BlackRock (Auditors) Real Estate IP Management Pension Plans Retail Accounts Internal Audit New Technologies Tim Cook Andrea Jung (C, N) Compensation (C); Fund TBWA/Media Nominating & Corporate Transactions Subsidiary Management Existing Product Advisors Professional Compensation E Commerce Accounting Arts Lab James A.
[Show full text]
Email Address [email protected] First Name Anne Marie Last Name Okeefe Company Apple Inc
Email Address [email protected] First Name Anne Marie Last Name OKeefe Company Apple Inc. First Name of Company Contact Person A. Last Name of Company Contact Person Street Address 1 Infinite Loop, Cupertino, CA Diversity 56% white, 19% Asian, 12% Hispanic and 9% black Size of company 5,000+ Employees Industry Computers/Technology/Internet/Consumer Electronics 2016 Revenue $1 billion or more Projected 2017 Revenue $1 billion or more Public or Private Public Describe the innovations your company Apple isn't a chip company, yet its silicon design group shipped four chips in 2016: the A10 (iPhone); S2 achieved in 2017 (Watch); W1 (AirPods); and T1 (on the new MacBook's touch pad). These chips help Apple improve the customer experience of these products by enabling new features that drive sales. For example, the A10 Fusion chip that powers iPhone 7s can use its two high-efficiency processors for routine functions while its two high- performance ones tackle more intensive computing. This approach saves battery life. The camera in the 7 Plus can create a stunning depth-of-field effect because of the chip. The S2 chip in Apple Watch makes it faster and improves the experience. The W1 chip in AirPods (and a line of Beats headphones) enables faster pairing with devices just by tapping one of the ear buds on an iPhone. Please provide specific metrics (such as revenue, The improved or new chips helped enhance the products they power and made them more appealing to profitability or customer growth) to prove how customers. AirPods have been on backorder for almost six months because of the customer demand.
[Show full text]
Intel Established a Presence in Israel in 1974 in Haifa with FIVE EMPLOYEES Today the Company Employs About 10000 PEOPL
Intel established a presence in Israel in 1974 Facebook first entered the Israeli tech in Haifa with FIVE EMPLOYEES ecosystem when they acquired Israeli mobile Today the company employs about 10,000 app developer SNAPTU in 2011 and an Israeli PEOPLE in Israel face recognition platform FACE.COM in 2012 Intel has FOUR DEVELOPMENT CENTERS in Israel located In 2013, Facebook acquired Israeli start-up ONAVO, in Haifa, Yakum, Petach Tikva and Jerusalem, as well as which led to the company’s decision to open offices in manufacturing-related facilities in Kiryat Gat and Jerusalem Tel Aviv Google first opened an office inISRAEL in 2006 In January 2012, Apple acquired Israeli startup ANOBIT, whose 200 EMPLOYEES They now employ more than 600 ENGINEERS became the basis for Apple’s Israel R&D center in Israel who work on several of Google’s core products, including Search, Maps, and Live Apple’s HERZLIYA CENTER is their largest Results R&D unit outside of its headquarters in Cupertino, California. Johny Srouji, an Israeli Arab from Haifa, is Google also has a dedicated startup space in the vice president for hardware technology. Tel Aviv known as “CAMPUS,” which provides entrepreneurs with a place to start and grow their businesses Microsoft founded its R&D CENTER IN In 1972, Israeli professor Josef ISRAEL in 1991, when several Redmond, Raviv established the IBM ISRAEL Washington-based Israeli employees SCIENTIFIC CENTER in the Technion’s wanted to return to Israel and Microsoft Computer Science Building in Haifa didn’t want to lose them
[Show full text]
5G, Futurenet E Tecnologie Servizi E Terminali
Sintetiche riflessioni sulla evoluzione della tecnologia e dell’Industry A cura di CT.TA.STC Numero 3 – 15 febbraio 2019 L’Archivio delle Triggering News è a questo link 5G, FutureNet e Tecnologie • Apple is reportedly planning its own 5G modems — but is it too late? • This Beijing hub is home to 10 major AI labs driving China’s tech ambitions • Amazon investe 530M$ per Self Driving Car • Swiss 5G Auction Bags $380M Amid Radiation Law Gripes | Light Reading • Mirantis to power AT&T’s Airship for Kubernetes infrastructure • VC: 940M$ per costruire il robot Nuro per consegne autonome • STACK issues $850 million in bonds for its data center ambitions • Qualcomm, Nokia, Samsung clash with Wi-Fi Alliance over 5.9 GHz for C-V2X | FierceWireless • BT launches voice-controlled Smart Baby Monitor with Alexa, Google Assistant - Telecom Drive Servizi e Terminali • Report: Free to play games bring in $88B in 2018 • UEFA to launch OTT channel • Docomo creates first 5G-ready streaming system for 8K stereoscopic VR • Amazon to acquire eero for home Wi-Fi mesh networks 5G, FutureNet e Tecnologie Apple is reportedly planning its own 5G modems — but is it too late? Potrebbe essere il modo con cui Intel sarà scaricato ... When it comes to Apple developing its own modems for iPhones, iPads, and Apple Watches, the writing’s been on the wall for so long that further confirmations hardly seem like news. That’s why I was only slightly surprised when Reuters reported today that Apple’s processor chief Johny Srouji began leading an in-house modem development team last month.
[Show full text]
Global Gadgets (AAPL, MSFT, GOOG) Aaron Pi Yuki Yoshioka Ryan Chang Emilio Cantagallo Eddie Lui Agenda: Global Gadgets
Global Gadgets (AAPL, MSFT, GOOG) Aaron Pi Yuki Yoshioka Ryan Chang Emilio Cantagallo Eddie Lui Agenda: Global Gadgets ▪ Industry Overview ▪ Apple ▪ Google ▪ Microsoft ▪ Conclusion What are Gadgets? ▪ Gadgets are small technological objects such as devices and tools that have multiple functions ▪ Enhances convenience and productivity in daily life ▪ “Smart”= multi-purpose, multi-tasking ▪ For work, entertainment, or sense of style ▪ Benefits that gadgets provide are through hardware, software, and services Global Gadgets ▪ Profit relies on gadget sales and service, with the support of software, including OS and apps Hardware Software Service Gadgets: Hardware Popular Consumer Electronics Novelty Devices that have proven to be Tools with features that change or useful and have substantially will change the way users conduct embedded into daily life daily activities ▪ Smart watch ▪ PCs ▪ Smart wristbands ▪ Smart phones ▪ Google glasses ▪ Tablets ▪ Virtual reality ▪ E-book readers ▪ Virtual assistant Gadgets: Software & Service Software & Apps Service ▪ Operation System ▪ Advertising ▪ Apps/App Stores ▪ Telecommunication service ○ Apple’s App Store/Google ▪ Open source/Closed Play Environment ▪ Third-party contents ▪ Internet ▪ Online payment ▪ Wireless connection/Mobile ▪ Apple Pay, AliPay, Wechat Pay networking ▪ E-commerce ▪ Streaming service Gadget Industry Overview: Structure ▪ The industry employs: •Engineers •Designers •Marketers •Salespeople •Customer service reps •Finance personnel to continually improve familiar products and come
[Show full text]
Apple to Acquire Majority of Intel's Smartphone Modem Business Intel
Apple to Acquire Majority of Intel’s Smartphone Modem Business Intel Sharpens Focus on Network Transformation and Compute at the Edge SANTA CLARA and CUPERTINO, Calif., July 25, 2019 – Intel and Apple have signed an agreement for Apple to acquire the majority of Intel’s smartphone modem business. Approximately 2,200 Intel employees will join Apple, along with intellectual property, equipment and leases. The transaction, valued at $1 billion, is expected to close in the fourth quarter of 2019, subject to regulatory approvals and other customary conditions, including works council and other relevant consultations in certain jurisdictions. Combining the acquired patents for current and future wireless technology with Apple’s existing portfolio, Apple will hold over 17,000 wireless technology patents, ranging from protocols for cellular standards to modem architecture and modem operation. Intel will retain the option to develop modems for non-smartphone applications, such as PCs, internet of things devices and autonomous vehicles. “This agreement enables us to focus on developing technology for the 5G network while retaining critical intellectual property and modem technology that our team has created,” said Intel CEO Bob Swan. “We have long respected Apple and we’re confident they provide the right environment for this talented team and these important assets moving forward. We’re looking forward to putting our full effort into 5G where it most closely aligns with the needs of our global customer base, including network operators, telecommunications equipment manufacturers and cloud service providers.” “We’ve worked with Intel for many years and know this team shares Apple’s passion for designing technologies that deliver the world’s best experiences for our users,” said Johny Srouji, Apple’s senior vice president of Hardware Technologies.
[Show full text]
Yet Still They Rise
Palestine: A Donor Country? They took a leap of faith when they came to a foreign land with a foreign language, on a journey to Their forced seek economic security, and they separation from their ended up becoming an intricate homes and country part of their new community. Palestinian immigrants who arrived gave Palestinian in my hometown of Detroit and immigrants in the Yet Still its suburbs pooled what little United States the money they had, borrowed from impetus to seek a They Rise their families, bought household better education and products, and began to peddle fulfill their vision of a By Terry them door to door when all other Ahwal Palestinians in the USA doors were closed to them. Their brighter future. aim was not only to make a profit but also to build a better life. When others saw only ghettos and snapshot of how the world defines the Palestinian destruction in parts of Detroit’s people would show nothing but tragedy, which is partly inner city, they saw opportunities. true. Indeed, the Palestinians have been expelled from is Johny Srouji. Mr. Srouji, a In the 1950s and ’60s they traded their homeland and denied their history. And yes, they Palestinian-American, is responsible their peddling bags for plans to A suffer from the betrayal of their friends who dumped for the hardware technology for open small storefront businesses them without mercy. But this should not be what defines Apple. He runs the division that in various neighborhoods, the Palestinians. They should be recognized by their ability to rise from makes processor chips, the silicon sometimes in dangerous areas.
[Show full text]